6 commits

Author	SHA1	Message	Date
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