Add a gitlab CI pipeline
Showing
- .gitignore 1 addition, 1 deletion.gitignore
- .gitlab-ci.yml 26 additions, 0 deletions.gitlab-ci.yml
- Makefile 6 additions, 10 deletionsMakefile
- Makefile.dev 11 additions, 9 deletionsMakefile.dev
- Makefile.version.hide 0 additions, 0 deletionsMakefile.version.hide
- _oasis 1 addition, 1 deletion_oasis
- lv6-ref-man/lv6-ref-man.pdf 0 additions, 0 deletionslv6-ref-man/lv6-ref-man.pdf
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- test/lus2lic 1 addition, 1 deletiontest/lus2lic
- test/lus2lic.sum 16 additions, 24 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment