Update .travis.yml

.travis.yml

@@ -0,0 +1,19 @@
+language: java
+install: true
+
+before_install:
+  - chmod +x gradlew
+
+stages:
+  - name: build
+  - name: unitTest
+  - name: integrationTest
+
+jobs:
+  include:
+    - stage: build
+      script: ./gradlew build
+    - stage: unitTest
+      script: ./gradlew test
+    - stage: integrationTest
+      script: ./gradlew integrationTest

pandamonium-theorem-prover/.travis.yml

@@ -1 +1,19 @@
 language: java
+install: true
+
+before_install:
+  - chmod +x gradlew
+
+stages:
+  - name: build
+  - name: unitTest
+  - name: integrationTest
+
+jobs:
+  include:
+    - stage: build
+      script: ./gradlew build
+    - stage: unitTest
+      script: ./gradlew test
+    - stage: integrationTest
+      script: ./gradlew integrationTest