There was a problem fetching the pipeline summary.
ok, merge build and test in the yaml.
parent
e94b9cd7
No related branches found
No related tags found
Pipeline #
Showing
- .gitlab-ci.yml 3 additions, 12 deletions.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