Update .travis.yml

2019-02-01 22:41:46 -07:00
parent 98491c8ec5
commit 5be55578b1
2 changed files with 9 additions and 3 deletions
@@ -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