10 commits

Author	SHA1	Message	Date
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	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	b52ac7e94f	.github: workflow_run triggers can't be used on non-default branches ... [ci skip] for main	2021-12-07 23:28:36 -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	e95dc850f3	.github: Fix task skipping	2021-11-18 16:12:31 -08:00
Zhaofeng Li	8954af0571	.github: Strip quotes from Nix eval output	2021-11-18 16:10:48 -08:00
Zhaofeng Li	e27cd5eed8	.github: Apparently I'm blind	2021-11-18 15:59:38 -08:00

Renamed from .github/workflows/manual-stable.nix (Browse further)