Skip to content

GitLab

Fix: the ci was broken by untracking the lutin/src/version.ml file 

Indeed, the Makefile.version that generates was depending on the
LURETTE_PATH env var which is not defined in a fresh docker.
3 jobs for 2-issue-with-free-variables-constrained-in-the-type-declaration in 9 minutes and 33 seconds (queued for 1 second)
b4f2666e
No related merge requests found.