PAN-10 travis.yml update

2019-03-03 18:58:34 -07:00
parent e47f2556f6
commit cbaea65b56
1 changed files with 1 additions and 2 deletions
@@ -13,8 +13,7 @@ addons:
      - mysql-client

 before_install:
-  - chmod +x pandamonium-theorem-prover/gradlew
-  - cd pandamonium-theorem-prover
+  - chmod +x gradlew

 before_script:
  - mysql_upgrade --force -uroot