18 commits

Author	SHA1	Message	Date
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	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	e82993a83e	.github/manual: Fix github-pages-deploy-action version tag	2022-07-29 22:13:09 -07: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	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	5c96044ffa	.github: Fix wrong output in copy	2021-11-18 13:30:36 -08:00
Zhaofeng Li	052c6795f2	.github: Fix substitution in manual deployment	2021-11-18 13:23:56 -08:00
Zhaofeng Li	ee8ae7dd21	Move closer to release	2021-11-18 13:15:20 -08:00
Zhaofeng Li	1f738c8014	.github: Add Cachix cache	2021-11-17 22:21:00 -08:00
Zhaofeng Li	b891094b39	.github: Add workflow to build and deploy manual	2021-11-17 22:21:00 -08:00