Commit graph

9 commits

Author SHA1 Message Date
renovate[bot]
b82ee861dd
Update actions/checkout action to v4 2024-11-08 01:08:00 +00:00
Zhaofeng Li
ce1aa41ff4 .github: Run workflows on push event only 2024-11-07 17:08:49 -07:00
Zhaofeng Li
82c8c7044a .github: Bump nix-installer-action 2023-10-18 15:41:54 -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
8b06bb108e .github/tests: Run tests with the full git checkout 2022-09-18 17:47:17 -06:00
Zhaofeng Li
5e76e8ab26 .github: Restructure workflows 2022-08-16 20:16:00 -06:00