Ali Chraghi b5d8c669a2 CI: remove unneeded builds on sub-projects		2022-08-06 08:20:18 -07:00
..
ci.yml	CI: remove unneeded builds on sub-projects	2022-08-06 08:20:18 -07:00
m1_ci.yml	CI: remove unneeded builds on sub-projects	2022-08-06 08:20:18 -07:00
push_subrepos.yml	CI: fix and fmt	2022-07-24 09:28:56 -07:00