From 746213a877eb38f2b46327e08618707c5f99a29b Mon Sep 17 00:00:00 2001 From: Alex Tusa <41128169+atusa17@users.noreply.github.com> Date: Sun, 10 Feb 2019 12:44:36 -0700 Subject: [PATCH] Update .travis.yml --- .travis.yml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/.travis.yml b/.travis.yml index 7a2a90b..20c1059 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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