Commit graph

17 commits

Author SHA1 Message Date
Zhaofeng Li
82c8c7044a .github: Bump nix-installer-action 2023-10-18 15:41:54 -06:00
Zhaofeng Li
30b98e6a12 .github/manual-stable: Update branch for future release 2023-05-14 23:10:52 -06:00
Zhaofeng Li
e034c15825 .github: Switch back to upstream DetSys installer
The PR was merged.
2023-02-06 17:48:52 -07:00
Zhaofeng Li
9cb8413602 .github: Remove Nix matrix 2023-01-27 23:52:28 -07:00
Zhaofeng Li
9c51ac1523 .github: Update Nix version to 2.13.2 2023-01-27 23:44:41 -07:00
Zhaofeng Li
9a81798083 .github: Update actions, switch to DetSys installer 2023-01-27 23:44:41 -07:00
Zhaofeng Li
5e76e8ab26 .github: Restructure workflows 2022-08-16 20:16:00 -06:00
Zhaofeng Li
c99a8246c2 .github/manual: Remove github-pages-deploy-action for now
Does not work well with `matrix` et al which causes the actual
job name to change.
2022-08-16 20:16:00 -06:00
Zhaofeng Li
5d2f128515 .github: Bump versions 2022-07-17 14:42:34 -07:00
Zhaofeng Li
1adb0b4246 .github: Rename workflows for clarity 2022-01-02 13:16:24 -08:00
Zhaofeng Li
b52ac7e94f .github: workflow_run triggers can't be used on non-default branches
[ci skip] for main
2021-12-07 23:28:36 -08:00
Zhaofeng Li
b88a19b904 .github: Add commit status for manual build 2021-12-05 18:07:12 -08:00
Zhaofeng Li
e609301a72 .github: Run user manual build after main build workflow 2021-12-05 01:30:17 -08:00
Zhaofeng Li
fb69d701b3 .github: Clean up user manual workflows 2021-12-05 01:14:12 -08:00
Zhaofeng Li
e95dc850f3 .github: Fix task skipping 2021-11-18 16:12:31 -08:00
Zhaofeng Li
8954af0571 .github: Strip quotes from Nix eval output 2021-11-18 16:10:48 -08:00
Zhaofeng Li
e27cd5eed8 .github: Apparently I'm blind 2021-11-18 15:59:38 -08:00
Renamed from .github/workflows/manual-stable.nix (Browse further)