-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.travis.yml
19 lines (14 loc) · 953 Bytes
/
.travis.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
notifications:
email: false
sudo: required
language: ruby
services:
- docker
before_install:
- docker pull scottfleischman/agda:2.5.2
script:
- docker run -v $TRAVIS_BUILD_DIR:/opt/agda-build scottfleischman/agda:2.5.2 /bin/sh -c 'cd /opt/agda-build/Code; agda --allow-unsolved-metas Modular.agda'
- docker run -v $TRAVIS_BUILD_DIR:/opt/agda-build scottfleischman/agda:2.5.2 /bin/sh -c 'cd /opt/agda-build/Code; agda --allow-unsolved-metas Numbers.agda'
- docker run -v $TRAVIS_BUILD_DIR:/opt/agda-build scottfleischman/agda:2.5.2 /bin/sh -c 'cd /opt/agda-build/Code; agda --allow-unsolved-metas Presentation.agda'
- docker run -v $TRAVIS_BUILD_DIR:/opt/agda-build scottfleischman/agda:2.5.2 /bin/sh -c 'cd /opt/agda-build/Code; agda --allow-unsolved-metas Universe.agda'
- docker run -v $TRAVIS_BUILD_DIR:/opt/agda-build scottfleischman/agda:2.5.2 /bin/sh -c 'cd /opt/agda-build/Paper; agda --allow-unsolved-metas Everything.agda'