PAN-6 Fixed the user creation for .travis.yml

2019-02-10 14:09:04 -07:00
parent 460de0700a
commit f43c73a925
1 changed files with 8 additions and 0 deletions
@@ -4,6 +4,14 @@ services:

 install: true

+addons:
+  apt:
+    sources:
+      - mysql-5.7-trusty
+    packages:
+      - mysql-server
+      - mysql-client
+
 before_install:
  - chmod +x pandamonium-theorem-prover/gradlew
  - cd pandamonium-theorem-prover