-
-
Notifications
You must be signed in to change notification settings - Fork 5
/
.travis.yml
28 lines (26 loc) · 1.02 KB
/
.travis.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
language: c
sudo: required
dist: trusty
group: edge
cache: apt
os:
- linux
services:
- docker
env:
- TAG=centos7_ocaml4.07.0 OS=centos:7 ALIAS='centos_ocaml4.07.0'
- TAG=centos7_ocaml4.06.0 OS=centos:7 ALIAS='centos_ocaml4.06.0'
- TAG=centos7_ocaml4.05.0 OS=centos:7 ALIAS='centos_ocaml4.05.0'
- TAG=centos7_ocaml4.04.2 OS=centos:7 ALIAS='centos_ocaml4.04.2'
- TAG=debian8_ocaml4.07.0 OS=debian:8 ALIAS='debian_ocaml4.07.0 4.07.0'
- TAG=debian8_ocaml4.06.0 OS=debian:8 ALIAS='debian_ocaml4.06.0 4.06.0'
- TAG=debian8_ocaml4.05.0 OS=debian:8 ALIAS='debian_ocaml4.05.0 4.05.0 latest'
- TAG=debian8_ocaml4.04.2 OS=debian:8 ALIAS='debian_ocaml4.04.2 4.04.2'
matrix:
allow_failures:
- env: TAG=centos7_ocaml4.07.0 OS=centos:7 ALIAS='centos_ocaml4.07.0'
- env: TAG=centos7_ocaml4.06.0 OS=centos:7 ALIAS='centos_ocaml4.06.0'
- env: TAG=debian8_ocaml4.07.0 OS=debian:8 ALIAS='debian_ocaml4.07.0 4.07.0'
- env: TAG=debian8_ocaml4.06.0 OS=debian:8 ALIAS='debian_ocaml4.06.0 4.06.0'
script:
- bash -eu .travis-ci.sh