blob: 897ee0de7ecb4b272210706187e4ad2fba54cbe4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
language: c
sudo: required
services:
- docker
env:
- TAG=4.04
- TAG=4.05
- TAG=4.06
- TAG=4.07
script:
- docker build --build-arg tag=$TAG --tag colisanr/morsmall:$TRAVIS_BRANCH .
- docker run --entrypoint /bin/sh colisanr/morsmall:$TRAVIS_BRANCH -c 'eval $(opam env) && cd /home/opam/morsmall && make install && make uninstall'
|