Ali Chraghi 3e51dc0581 ci: remove git install step		2023-01-12 10:51:16 -07:00
..
ci.yml	ci: remove git install step	2023-01-12 10:51:16 -07:00
m1_ci.yml	CI: do not install Zig on self-hosted runners (now managed by Wrench)	2022-12-29 03:19:15 -07:00
push_subrepos.yml	CI: correct git-filter-repo installation	2022-08-26 16:00:50 -07:00
update_examples.yml	ci: update examples repo if running on the main repo	2022-10-21 07:43:34 -07:00