Merge pull request #58 from mkurz/update_ci_conf

Make use of reusable workflow

.github/workflows/build-test.yml

@@ -0,0 +1,23 @@
+name: Check
+
+on:
+  push:
+    branches:
+      - 2.8.x
+  pull_request:
+
+concurrency:
+  # Only run once for latest commit per ref and cancel other (previous) runs.
+  group: ci-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  tests:
+    name: Tests
+    uses: playframework/.github/.github/workflows/sbt-matrix.yml@v1
+    with: # Should be sync with Mergify conditions (.mergify.yml)
+      java: >-
+        [ "17", "11", "8" ]
+      scala: >-
+        [ "2.12.15", "2.13.8" ]
+      cmd: sbt ++$SCALA_VERSION test

.mergify.yml

@@ -2,19 +2,37 @@ queue_rules:
   - name: default
     conditions:
       # Conditions to get out of the queue (= merged)
-      - check-success=Travis CI - Pull Request
-      - check-success=typesafe-cla-validator
+      - check-success~=^Tests / Scala 2\.12\.(\d+) & JDK 17$
+      - check-success~=^Tests / Scala 2\.13\.(\d+) & JDK 17$
+      - check-success~=^Tests / Scala 2\.12\.(\d+) & JDK 11$
+      - check-success~=^Tests / Scala 2\.13\.(\d+) & JDK 11$
+      - check-success~=^Tests / Scala 2\.12\.(\d+) & JDK 8$
+      - check-success~=^Tests / Scala 2\.13\.(\d+) & JDK 8$
 
 pull_request_rules:
   - name: Merge PRs that are ready
     conditions:
-      - check-success=Travis CI - Pull Request
+      - check-success~=^Tests / Scala 2\.12\.(\d+) & JDK 17$
+      - check-success~=^Tests / Scala 2\.13\.(\d+) & JDK 17$
+      - check-success~=^Tests / Scala 2\.12\.(\d+) & JDK 11$
+      - check-success~=^Tests / Scala 2\.13\.(\d+) & JDK 11$
+      - check-success~=^Tests / Scala 2\.12\.(\d+) & JDK 8$
+      - check-success~=^Tests / Scala 2\.13\.(\d+) & JDK 8$
       - check-success=typesafe-cla-validator
       - "#approved-reviews-by>=1"
       - "#review-requested=0"
       - "#changes-requested-reviews-by=0"
       - label!=status:block-merge
+      - label=status:merge-when-green
     actions:
       queue:
         method: merge
         name: default
+
+  - name: Delete the PR branch after merge
+    conditions:
+      - merged
+    actions:
+      delete_head_branch: {}
+      label:
+        remove: [ "status:merge-when-green" ]