Add intermediate job with a simpler name (#174)

alexarchambault · Feb 19, 2021 · 77a2300 · 77a2300
1 parent d971692
commit 77a2300
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -37,8 +37,17 @@ jobs:
       env:
         MASTER: ${{ matrix.MASTER }}
 
-  release:
+  # job whose name doesn't change when we bump Scala versions, add OSes, …
+  # We require this job for auto-merge.
+  all-tests:
     needs: test
+    runs-on: ubuntu-latest
+    steps:
+    - run: true
+      shell: bash
+
+  release:
+    needs: all-tests
     if: github.event_name == 'push'
     runs-on: ubuntu-latest
     steps: