Switch to GitHub actions

.github/workflows/build-test.yml

@@ -0,0 +1,28 @@
+name: Check
+
+on:
+  pull_request:
+
+  push:
+    branches:
+      - main # Check main branch after merge
+
+concurrency:
+  # Only run once for latest commit per ref and cancel other (previous) runs.
+  group: ci-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  publish-local:
+    name: Publish local
+    uses: playframework/.github/.github/workflows/cmd.yml@v2
+    with:
+      java: 11, 8
+      scala: 2.13.8, 2.12.15
+      cmd: sbt ++$MATRIX_SCALA publishLocal # Check that we can actually build and package the library
+
+  finish:
+    name: Finish
+    needs: # Should be last
+      - "publish-local"
+    uses: playframework/.github/.github/workflows/rtm.yml@v2

.mergify.yml

@@ -1,28 +1,28 @@
+queue_rules:
+  - name: default
+    conditions:
+      # Conditions to get out of the queue (= merged)
+      - check-success~=/ Ready To Merge$
+
 pull_request_rules:
   - name: Merge PRs that are ready
     conditions:
-      - status-success=Travis CI - Pull Request
-      - status-success=typesafe-cla-validator
+      - check-success~=/ Ready To Merge$
+      - 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:
-      merge:
+      queue:
         method: merge
+        name: default
 
-  - name: Delete the PR branch and remove label after merge
+  - name: Delete the PR branch after merge
     conditions:
       - merged
     actions:
       delete_head_branch: {}
       label:
         remove: [ "status:merge-when-green" ]
-
-  - name: Labeling for Scala Steward PR's
-    conditions:
-      - author=scala-steward
-    actions:
-      label:
-        add: [ "type:updates" ]