From 77a230029ace3684fa32e9019754fb812a95c173 Mon Sep 17 00:00:00 2001
From: Alexandre Archambault <alexarchambault@users.noreply.github.com>
Date: Fri, 19 Feb 2021 18:54:37 +0100
Subject: [PATCH] Add intermediate job with a simpler name (#174)

---
 .github/workflows/ci.yml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 72bc215..9e001f2 100644
--- 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: