reynir/albatross
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

travis & cirrus: refresh CI setting (include 4.11)

Browse source
This commit is contained in:
Hannes Mehnert 2020-11-14 22:29:04 +01:00
parent f954955dd0
commit 96b2f39798
2 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.cirrus.yml
View file

@ -5,7 +5,9 @@ freebsd_task:
env:
matrix:
- OCAML_VERSION: 4.08.1
- OCAML_VERSION: 4.09.0
- OCAML_VERSION: 4.09.1
- OCAML_VERSION: 4.10.1
- OCAML_VERSION: 4.11.1
pkg_install_script: pkg install -y ocaml-opam gmp gmake pkgconf bash
ocaml_script: opam init -a --comp=$OCAML_VERSION
dependencies_script: eval `opam env` && opam install -y --deps-only .

1
.travis.yml
View file

@ -13,5 +13,6 @@ env:
- OCAML_VERSION=4.08
- OCAML_VERSION=4.09
- OCAML_VERSION=4.10
- OCAML_VERSION=4.11
notifications:
email: false