2018-01-16 00:46:33 +00:00
|
|
|
language: c
|
2019-10-15 16:50:46 +00:00
|
|
|
install: wget https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-docker.sh
|
|
|
|
|
script: bash -ex .travis-docker.sh
|
|
|
|
|
sudo: false
|
|
|
|
|
services:
|
|
|
|
|
- docker
|
2018-01-16 00:46:33 +00:00
|
|
|
env:
|
|
|
|
|
global:
|
|
|
|
|
- PACKAGE="albatross"
|
2019-10-15 16:50:46 +00:00
|
|
|
- DISTRO=ubuntu
|
2018-03-23 16:04:35 +00:00
|
|
|
- TESTS=false
|
2018-01-16 00:46:33 +00:00
|
|
|
matrix:
|
2019-10-15 16:50:46 +00:00
|
|
|
- OCAML_VERSION=4.08
|
|
|
|
|
- OCAML_VERSION=4.09
|
2020-03-13 15:24:52 +00:00
|
|
|
- OCAML_VERSION=4.10
|
2018-01-16 00:46:33 +00:00
|
|
|
notifications:
|
|
|
|
|
email: false
|
