Update .travis.yml

2019-02-01 23:35:18 -07:00
parent 85d820d1cf
commit 79d730abf4
1 changed files with 0 additions and 6 deletions
@@ -1,12 +1,6 @@
 language: java
 install: true

-sudo: false
-addons:
-  apt:
-    packages:
-      - oracle-java8-installer
-
 before_install:
  - chmod +x pandamonium-theorem-prover/gradlew
  - cd pandamonium-theorem-prover