PAN-6 Fixed an issue with the .travis file
This commit is contained in:
+1
-1
@@ -10,7 +10,7 @@ before_install:
|
|||||||
|
|
||||||
before_script:
|
before_script:
|
||||||
- mysql -u root -e 'CREATE DATABASE pandamonium;'
|
- mysql -u root -e 'CREATE DATABASE pandamonium;'
|
||||||
- mysql -u root pandamonium < pandamonium-theorem-prover/persistence/scripts/mysql/local_development.sql
|
- mysql -u root pandamonium < persistence/scripts/mysql/local_development.sql
|
||||||
|
|
||||||
stages:
|
stages:
|
||||||
- name: Load Database
|
- name: Load Database
|
||||||
|
|||||||
Reference in New Issue
Block a user