Louis Gesbert b28583fb71 CI: Disable (broken) ubuntu builds ... the routine builds on PRs are fine and the issue seems to come from the complex container ubuntu/OCaml setup		2022-07-27 14:41:22 +02:00
..
run-builds.yml	CI: Disable (broken) ubuntu builds	2022-07-27 14:41:22 +02:00
run-make-all.yml	Run all CI tests through a Docker container	2022-07-20 12:05:17 +02:00
update-flake-lock.yml	check it builds before commiting the modified flake	2022-06-06 11:46:37 +02:00