Kelvie Wong a496f88a29 Change $GITHUB_REF to HEAD ... GITHUB_REF apparently doesn't work in PR builds.		2023-01-24 19:55:15 -08:00
..
build.yml	Change $GITHUB_REF to HEAD	2023-01-24 19:55:15 -08:00
buildmaster-rebuild.yml	Apply initial pre-commit config	2022-04-12 14:48:19 -04:00
update-submodules.yml	update-submodules: attempt to fix checkout issue, properly exit on errors	2021-08-11 21:36:01 -04:00