Run integration tests in separate build server (#243)

Use flags for less noise in mvn output

.github/workflows/main.yml

@@ -3,7 +3,7 @@ on: [push]
 name: Apalache Continuous Integration
 
 jobs:
-  build-and-test:
+  unit-tests:
     runs-on: ${{ matrix.operating-system }}
     strategy:
       matrix:
@@ -21,10 +21,33 @@ jobs:
           key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
           restore-keys: |
             ${{ runner.os }}-maven-
-      - name: Build and test
-        run: make integration
+      - name: Build and Unit Test
+        run: mvn --batch-mode --no-transfer-progress test
 
-  docker-test:
+  integration-tests:
+    runs-on: ${{ matrix.operating-system }}
+    strategy:
+      matrix:
+        operating-system: [ubuntu-latest, macos-latest]
+    steps:
+      - uses: actions/checkout@v2
+      - name: Set up JDK 1.8
+        uses: actions/setup-java@v1
+        with:
+          java-version: 1.8
+      - name: Cache local Maven repository
+        uses: actions/cache@v2
+        with:
+          path: ~/.m2/repository
+          key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+          restore-keys: |
+            ${{ runner.os }}-maven-
+      - name: Build without unit tests
+        run: mvn --batch-mode --no-transfer-progress -DskipTests package
+      - name: Run Integration tests
+        run: NO_MVN=true test/run-integration
+
+  docker-tests:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2