From 16876265656a8ffa827d859e0b19f5d3765cf102 Mon Sep 17 00:00:00 2001 From: atusa17 Date: Fri, 1 Feb 2019 22:22:56 -0700 Subject: [PATCH] Update .travis.yml --- pandamonium-theorem-prover/.travis.yml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/pandamonium-theorem-prover/.travis.yml b/pandamonium-theorem-prover/.travis.yml index 8ed8a6c..d34c3ad 100644 --- a/pandamonium-theorem-prover/.travis.yml +++ b/pandamonium-theorem-prover/.travis.yml @@ -1,12 +1,6 @@ language: java install: true -sudo: false -addons: - apt: - packages: - - oracle-java8-installer - before_install: - chmod +x gradlew