From 79d730abf424b710dd936a2966c9cc0a4da11770 Mon Sep 17 00:00:00 2001 From: Alex Tusa <41128169+atusa17@users.noreply.github.com> Date: Fri, 1 Feb 2019 23:35:18 -0700 Subject: [PATCH] Update .travis.yml --- .travis.yml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/.travis.yml b/.travis.yml index ea26074..8f4c9d6 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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