Denis Merigoux 0ff633179d Also run CI on pull requests		2022-02-04 12:23:34 +01:00
..
run-builds.yml	Manual execution of builds	2022-02-03 19:47:42 +01:00
run-make-all.yml	Also run CI on pull requests	2022-02-04 12:23:34 +01:00