Use a different method to check for CI success

Works around https://github.com/orgs/community/discussions/28864

.github/workflows/ci-check.yml

@@ -0,0 +1,15 @@
+name: CI (check-all)
+
+on:
+  workflow_run:
+    workflows: [CI]
+    types: [completed]
+
+jobs:
+  check-all:
+    runs-on: ubuntu-latest
+    steps:
+      - run: echo 'The triggering workflow passed'
+        if: ${{ github.event.workflow_run.conclusion == 'success' }}
+      - run: echo 'The triggering workflow failed' && false
+        if: ${{ github.event.workflow_run.conclusion != 'success' }}

.github/workflows/ci-dev-check.yml

@@ -0,0 +1,15 @@
+name: CI (docker, check-all)
+
+on:
+  workflow_run:
+    workflows: [CI (docker)]
+    types: [completed]
+
+jobs:
+  check-all-docker:
+    runs-on: ubuntu-latest
+    steps:
+      - run: echo 'The triggering workflow passed'
+        if: ${{ github.event.workflow_run.conclusion == 'success' }}
+      - run: echo 'The triggering workflow failed' && false
+        if: ${{ github.event.workflow_run.conclusion != 'success' }}

.github/workflows/ci-dev.yml

@@ -39,10 +39,3 @@ jobs:
           eval $(opam env)
           echo '::endgroup::'
           make check PYTHON=python3 CAT_ALL_LOGS=1
-
-
-  check-all-docker:
-    runs-on: ubuntu-latest
-    needs: build
-    steps:
-      - run: true

.github/workflows/ci.yml

@@ -63,10 +63,3 @@ jobs:
       if: ${{ matrix.python-version != '2.7' }}
     - name: Test
       run: make has-all-tests && make check PYTHON=python CAT_ALL_LOGS=1
-
-
-  check-all:
-    runs-on: ubuntu-latest
-    needs: build
-    steps:
-      - run: true