Gavin John 69e22ae85d Use simple github push action		2025-02-13 15:54:58 -08:00
..
check-nix-format.yml	Improvements to update actions	2025-02-10 14:13:58 -08:00
pr.yml	Prepare CI for merge queue	2025-02-10 13:47:58 -08:00
update.yml	Use simple github push action	2025-02-13 15:54:58 -08:00