PAN-6 Removed some tings from the Travis file to hopefully speed up the builds

2019-02-10 12:44:11 -07:00
parent c13a0d5e66
commit 8ed4ab3f7f
1 changed files with 0 additions and 6 deletions
@@ -4,12 +4,6 @@ services:
 install: true
 sudo: false
 addons:
  apt:
    packages:
      - oracle-java8-installer
 before_install:
  - chmod +x pandamonium-theorem-prover/gradlew
  - cd pandamonium-theorem-prover