From 21e97be136eb294e0e23068fa0efab3d02d5b05a Mon Sep 17 00:00:00 2001 From: Alex Tusa <41128169+atusa17@users.noreply.github.com> Date: Fri, 1 Feb 2019 22:49:54 -0700 Subject: [PATCH] Update .travis.yml --- .travis.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.travis.yml b/.travis.yml index 58b14c3..3dcae7a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -8,7 +8,7 @@ addons: - oracle-java8-installer before_install: - - chmod +x gradlew + - chmod +x pandamonium-theorem-prover/gradlew stages: - name: build @@ -18,8 +18,8 @@ stages: jobs: include: - stage: build - script: ./gradlew build + script: ./pandamonium-theorem-prover/gradlew build - stage: unitTest - script: ./gradlew test + script: ./pandamonium-theorem-prover/gradlew test - stage: integrationTest - script: ./gradlew integrationTest + script: ./pandamonium-theorem-prover/gradlew integrationTest