 Leo
|
c1b0067687
CI build with OCaml version 4.03
|
8 years ago |
|
Leo
|
2e5ebb34b7
Using script for Gitlab CI
|
8 years ago |
|
Leo
|
49ba4b1252
Add a small script to test Gitlab CI
|
8 years ago |
|
Leo
|
b7f5c09139
Fixing Gitlab CI
|
8 years ago |
|
Leo
|
f79d74421e
Improve Gitlab CI
|
8 years ago |
|
Leo
|
e68283dfec
Correct .gitlab-ci.yml
|
8 years ago |
|
Leo
|
6e9046665c
Add job with system compiler
|
8 years ago |
|
Leo
|
bfc6a25bd6
Correct .gitlab-ci.yml mistakes
|
8 years ago |
|
Leo
|
3d061ed1eb
Starting to use Gitlab CI
|
8 years ago |
