Skip to content

GitLab

L
lutin

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.
Status Job ID Name Coverage
  Build
passed #86340
build

00:05:23

 
  Test
passed #86575
test_opam_test

00:04:10

failed #86341
allowed to fail
test_opam_test

00:00:09