 Leo
|
7208d6b060
Update atdgen
|
před 8 roky |
|
Leo
|
08d7d4d5c2
Run oasis setup with a fresher oasis
|
před 8 roky |
|
Leo
|
6132e9efe9
Add OCamlBuild dependency
|
před 8 roky |
|
Leo
|
76f5de5a81
OCaml 4.03.O is out, using it in CI
|
před 8 roky |
|
Leo
|
4b934a9923
Change --elength argument of list command
|
před 8 roky |
|
Leo
|
570102ad82
Back to dev
|
před 8 roky |
|
Leo
|
7b45132247
Version 0.3.0-pre2
|
před 8 roky |
|
Leo
|
68fd383525
Suspend ocaml_sys CI job
|
před 8 roky |
|
Leo
|
8cdf651c23
Normalise opam file, using opam lint --normalise
|
před 8 roky |
|
Leo
|
623e958b14
Merge branch 'glci' into dev
|
před 8 roky |
|
Leo
|
7dd56f576b
Typo
|
před 8 roky |
|
Leo
|
9ef8ffd369
Update CHANGELOG
|
před 8 roky |
|
Leo
|
c1b0067687
CI build with OCaml version 4.03
|
před 8 roky |
|
Leo
|
d3f3fa5ac8
Update ocaml-version
|
před 8 roky |
|
Leo
|
3c027a4f7a
Improve messages in Gitlab CI script
|
před 8 roky |
|
Leo
|
6e0b457e33
Amend Gitlab CI script, dev dependencies
|
před 8 roky |
|
Leo
|
c4e198a524
Revert "Use -y in Gitlab CI script"
|
před 8 roky |
|
Leo
|
d5a6da82df
Use -y in Gitlab CI script
|
před 8 roky |
|
Leo
|
aefd4998c6
Amend Gitlab CI script
|
před 8 roky |
|
Leo
|
2e5ebb34b7
Using script for Gitlab CI
|
před 8 roky |
|
Leo
|
a587d87faa
Amend Gitlab CI script
|
před 8 roky |
|
Leo
|
74940a82ab
Amend Gitlab CI script
|
před 8 roky |
|
Leo
|
49ba4b1252
Add a small script to test Gitlab CI
|
před 8 roky |
|
Leo
|
b620d39c4e
Make --el argument of list command working
|
před 8 roky |
|
Leo
|
e722764d3b
Merge from a local clone into dev
|
před 8 roky |
|
Leo
|
5fc8bce1d0
Add --el argument to list command
|
před 8 roky |
|
Leo
|
c759b62809
Improve welcome message
|
před 8 roky |
|
Leo
|
b7f5c09139
Fixing Gitlab CI
|
před 8 roky |
|
Leo
|
f79d74421e
Improve Gitlab CI
|
před 8 roky |
|
Leo
|
e68283dfec
Correct .gitlab-ci.yml
|
před 8 roky |
