There was a problem fetching the pipeline summary.
try to cache untracked files so that build binaries are still there for the test job
(the doc say it is the case by default, but...)
parent
25bc3615
No related branches found
No related tags found
Pipeline #
Showing
- .gitlab-ci.yml 3 additions, 1 deletion.gitlab-ci.yml
- _oasis 1 addition, 1 deletion_oasis
- doc/version.tex 2 additions, 2 deletionsdoc/version.tex
- setup.ml 3 additions, 3 deletionssetup.ml
- src/META 2 additions, 2 deletionssrc/META
- src/lutilsVersion.ml 2 additions, 2 deletionssrc/lutilsVersion.ml
Loading
Please register or sign in to comment