diff --git a/.travis.yml b/.travis.yml index 3dcae7a..65f138c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -9,6 +9,7 @@ addons: before_install: - chmod +x pandamonium-theorem-prover/gradlew + - cd pandamonium-theorem-prover stages: - name: build @@ -18,8 +19,8 @@ stages: jobs: include: - stage: build - script: ./pandamonium-theorem-prover/gradlew build + script: ./gradlew build - stage: unitTest - script: ./pandamonium-theorem-prover/gradlew test + script: ./gradlew test - stage: integrationTest - script: ./pandamonium-theorem-prover/gradlew integrationTest + script: ./gradlew integrationTest