Skip to content

Commit

Permalink
Test API laws on CI
Browse files Browse the repository at this point in the history
  • Loading branch information
@snowleopard
snowleopard committed Apr 16, 2017
1 parent b512454 commit b4c2010
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .travis.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ before_install:
- docker pull scottfleischman/agda:2.5.2

env:
- AGDA_FILE="src/Theorems.agda"
- AGDA_FILE="src/API/Laws.agda"

script:
- docker run -v $TRAVIS_BUILD_DIR:/opt/agda-build scottfleischman/agda:2.5.2 /bin/sh -c 'cd /opt/agda-build; agda '$AGDA_FILE

0 comments on commit b4c2010

Please sign in to comment.