Enrico Tassi
Enrico Tassi
@SkySkimmer did I do something wrong updating the docker file?
Hum, it builds but it is probably installed in the wrong place (not _install_ci). Are there other dune projects I can copy from?
@coqbot run full ci
@coqbot run full ci
@SkySkimmer It happened again. I tried to restart the job but apparently I cannot. Did I lose that right on gitlab?
I removed ci-elpi_test for two reasons: - the new build system always builds most of the tests as part of `@install`, so no gain in a separate job - the...
@coqbot run full ci
> If stuff got rebuilt in the test job did it also get rebuilt in the mathcomp job? yes. So I think the issue is really linked to the fact...
@SkySkimmer we may look into this CI issue tomorrow, since I don't know how artifacts work
with @Zimmi48 we patch the gitlab ci templates in order to always save the _build directory