Merge pull request #314 from rgrinberg/4.06.0-boilerplate

4.06.0 boilerplate
This commit is contained in:
Rudi Grinberg 2017-11-06 17:38:20 +08:00 committed by GitHub
commit adb5662ee7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 15 additions and 1 deletions

View File

@ -30,6 +30,16 @@ matrix:
apt:
packages:
- aspcud
- os: linux
env: OCAML_VERSION=4.06 OCAML_RELEASE=0 WITH_OPAM=0
stage: Build
- os: linux
env: OCAML_VERSION=4.06 OCAML_RELEASE=0 WITH_OPAM=1
stage: Test
addons:
apt:
packages:
- aspcud
- os: osx
env: OCAML_VERSION=4.02 OCAML_RELEASE=3 WITH_OPAM=0
stage: Build_macOS
@ -45,3 +55,6 @@ matrix:
- os: osx
env: OCAML_VERSION=4.05 OCAML_RELEASE=0 WITH_OPAM=1
stage: Test_macOS
- os: osx
env: OCAML_VERSION=4.06 OCAML_RELEASE=0 WITH_OPAM=1
stage: Test_macOS

View File

@ -3,4 +3,5 @@
(context ((switch 4.03.0)))
(context ((switch 4.04.2)))
(context ((switch 4.05.0)))
(context ((switch 4.06.0+trunk)))
(context ((switch 4.06.0)))
(context ((switch 4.07.0+trunk)))