Dark-Alex-17/ptp
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

PAN-6 Fixed an issue with the .travis file

Browse Source
This commit is contained in:
atusa17
2019-02-10 12:49:20 -07:00
parent 8ed4ab3f7f
commit eb88ea2d10
2 changed files with 1 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.travis.yml
-6
View File
@@ -4,12 +4,6 @@ services:
install: true install: true
sudo: false
addons:
apt:
packages:
- oracle-java8-installer
before_install: before_install:
- chmod +x pandamonium-theorem-prover/gradlew - chmod +x pandamonium-theorem-prover/gradlew
- cd pandamonium-theorem-prover - cd pandamonium-theorem-prover
pandamonium-theorem-prover/.travis.yml
+1 -1
View File
@@ -9,7 +9,7 @@ before_install:
- cd pandamonium-theorem-prover - cd pandamonium-theorem-prover
before_script: 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: stages:
- name: Load Database - name: Load Database