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 1/2] 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 From 52a4cf086c714c173f0ee0d740066e903d263261 Mon Sep 17 00:00:00 2001 From: Alex Tusa <41128169+atusa17@users.noreply.github.com> Date: Sun, 10 Feb 2019 12:47:58 -0700 Subject: [PATCH 2/2] Update .travis.yml --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 20c1059..a03b45b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -9,7 +9,7 @@ before_install: - cd pandamonium-theorem-prover before_script: - - mysql -u root pandamonium < pandamonium-theorem-prover/persistence/scripts/mysql/local_development.sql + - mysql -u root < pandamonium-theorem-prover/persistence/scripts/mysql/local_development.sql stages: - name: Load Database