Split CI and Coverage workflows

.github/workflows/ci.yml

@@ -0,0 +1,26 @@
+name: 'CI with GitHub Actions (on all platforms)'
+
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+
+jobs:
+  build:
+
+    strategy:
+      matrix:
+        platform: [ubuntu-latest, macos-latest, windows-latest]
+
+    runs-on: ${{ matrix.platform }}
+    name: on ${{ matrix.platform }}
+
+    steps:
+      - uses: actions/checkout@v1
+      - name: Set up JDK 8
+        uses: actions/setup-java@v1
+        with:
+          java-version: 1.8
+      - name: Build with Maven
+        run: mvn -V -ntp clean verify --file pom.xml '-Dgpg.skip'

.github/workflows/maven.yml → .github/workflows/coverage.yml

@@ -1,4 +1,4 @@
-name: GitHub Actions
+name: 'Generate and upload coverage report to https://codecov.io'
 
 on:
   push:
@@ -7,36 +7,18 @@ on:
   pull_request:
 
 jobs:
-  build:
-
-    strategy:
-      matrix:
-        platform: [ubuntu-latest, macos-latest, windows-latest]
-
-    runs-on: ${{ matrix.platform }}
-    name: on ${{ matrix.platform }}
-
-    steps:
-      - uses: actions/checkout@v1
-      - name: Set up JDK 8
-        uses: actions/setup-java@v1
-        with:
-          java-version: 1.8
-      - name: Build with Maven
-        run: mvn -V -ntp clean verify --file pom.xml '-Dgpg.skip'
-
   coverage:
 
     runs-on: [ubuntu-latest]
-    name: coverage on Ubuntu
+    name: Coverage on Ubuntu
 
     steps:
       - uses: actions/checkout@v1
       - name: Set up JDK 8
         uses: actions/setup-java@v1
         with:
           java-version: 1.8
-      - name: Coverage with JaCoCo
+      - name: Generate coverage with JaCoCo
         run: mvn -V -ntp clean verify jacoco:prepare-agent test integration-test jacoco:report --file pom.xml '-Dgpg.skip'
 
       - name: Upload coverage to Codecov