 Leo
|
8cdf651c23
Normalise opam file, using opam lint --normalise
|
9 years ago |
|
Leo
|
623e958b14
Merge branch 'glci' into dev
|
9 years ago |
|
Leo
|
7dd56f576b
Typo
|
9 years ago |
|
Leo
|
9ef8ffd369
Update CHANGELOG
|
9 years ago |
|
Leo
|
c1b0067687
CI build with OCaml version 4.03
|
9 years ago |
|
Leo
|
d3f3fa5ac8
Update ocaml-version
|
9 years ago |
|
Leo
|
3c027a4f7a
Improve messages in Gitlab CI script
|
9 years ago |
|
Leo
|
6e0b457e33
Amend Gitlab CI script, dev dependencies
|
9 years ago |
|
Leo
|
c4e198a524
Revert "Use -y in Gitlab CI script"
|
9 years ago |
|
Leo
|
d5a6da82df
Use -y in Gitlab CI script
|
9 years ago |
|
Leo
|
aefd4998c6
Amend Gitlab CI script
|
9 years ago |
|
Leo
|
2e5ebb34b7
Using script for Gitlab CI
|
9 years ago |
|
Leo
|
a587d87faa
Amend Gitlab CI script
|
9 years ago |
|
Leo
|
74940a82ab
Amend Gitlab CI script
|
9 years ago |
|
Leo
|
49ba4b1252
Add a small script to test Gitlab CI
|
9 years ago |
|
Leo
|
b620d39c4e
Make --el argument of list command working
|
9 years ago |
|
Leo
|
e722764d3b
Merge from a local clone into dev
|
9 years ago |
|
Leo
|
5fc8bce1d0
Add --el argument to list command
|
9 years ago |
|
Leo
|
c759b62809
Improve welcome message
|
9 years ago |
|
Leo
|
b7f5c09139
Fixing Gitlab CI
|
9 years ago |
|
Leo
|
f79d74421e
Improve Gitlab CI
|
9 years ago |
|
Leo
|
e68283dfec
Correct .gitlab-ci.yml
|
9 years ago |
|
Leo
|
6e9046665c
Add job with system compiler
|
9 years ago |
|
Leo
|
bfc6a25bd6
Correct .gitlab-ci.yml mistakes
|
9 years ago |
|
Leo
|
3d061ed1eb
Starting to use Gitlab CI
|
9 years ago |
|
Leo
|
ac8350966d
Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev
|
9 years ago |
|
Leo
|
9af3944dc1
Merge branch 'dev' of ../oclaunch-code/. into dev
|
9 years ago |
|
Leo
|
ffe930c4bf
Clean-up licensing code (language question)
|
9 years ago |
|
Leo
|
1d34313526
Update licencing file
|
9 years ago |
|
Leo
|
cdc51c550a
Clean-up code of the question message
|
9 years ago |
