9 commits

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