Louis Gesbert 54c97d1d0c Fix missing redirect in CI		2022-08-09 16:28:02 +02:00
..
run-builds.yml	CI: Disable (broken) ubuntu builds	2022-07-27 14:41:22 +02:00
run-make-all.yml	Fix missing redirect in CI	2022-08-09 16:28:02 +02:00
update-flake-lock.yml	check it builds before commiting the modified flake	2022-06-06 11:46:37 +02:00