Zhaofeng Li 1adb0b4246 .github: Rename workflows for clarity		2022-01-02 13:16:24 -08:00
..
build.yml	.github: Pin NIX_PATH before nix-shell invocation	2022-01-01 16:41:35 -08:00
manual-stable.yml	.github: Rename workflows for clarity	2022-01-02 13:16:24 -08:00
manual.yml	.github: Rename workflows for clarity	2022-01-02 13:16:24 -08:00