 Leo
|
7dd56f576b
Typo
|
8 years ago |
|
Leo
|
9ef8ffd369
Update CHANGELOG
|
8 years ago |
|
Leo
|
c1b0067687
CI build with OCaml version 4.03
|
8 years ago |
|
Leo
|
d3f3fa5ac8
Update ocaml-version
|
8 years ago |
|
Leo
|
3c027a4f7a
Improve messages in Gitlab CI script
|
8 years ago |
|
Leo
|
6e0b457e33
Amend Gitlab CI script, dev dependencies
|
8 years ago |
|
Leo
|
c4e198a524
Revert "Use -y in Gitlab CI script"
|
8 years ago |
|
Leo
|
d5a6da82df
Use -y in Gitlab CI script
|
8 years ago |
|
Leo
|
aefd4998c6
Amend Gitlab CI script
|
8 years ago |
|
Leo
|
2e5ebb34b7
Using script for Gitlab CI
|
8 years ago |
|
Leo
|
a587d87faa
Amend Gitlab CI script
|
8 years ago |
|
Leo
|
74940a82ab
Amend Gitlab CI script
|
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 |
|
Leo
|
ffe930c4bf
Clean-up licensing code (language question)
|
8 years ago |
|
Leo
|
1d34313526
Update licencing file
|
8 years ago |
|
Leo
|
cdc51c550a
Clean-up code of the question message
|
8 years ago |
|
Leo
|
dff2e408d3
Display debugging information before every messages
|
8 years ago |
|
Leo
|
508e38116f
Add copyright notice for Core_kernel copied files
|
8 years ago |
|
Leo
|
cebb133cf9
Fix typo
|
8 years ago |
|
Leo
|
baae2c92c2
Fix parallel issue in 0install.sh script
|
8 years ago |
|
Leo
|
f77177e154
Fix typo in .gitignore
|
8 years ago |
|
Leo
|
8affb581d0
Update CHANGELOG
|
9 years ago |
|
Leo
|
d35e1b28e7
Update CHANGELOG
|
9 years ago |
|
Leo
|
6ece1db8b1
Fix behavior of test script, using env variable
|
9 years ago |
