4 commits

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