Prevent a PR with failed actions from being merged (#1096)

.github/workflows/pr.yml

@@ -34,13 +34,14 @@ jobs:
 
   # Specifying a dependent job allows us to select a single "requires" check in the project GitHub settings
   all:
-    # Complete if jobs were skipped (but not if any failed or were cancelled)
-    if: ${{ always() && !failure() && !cancelled() }}
-    needs: [build]
+    if: ${{ always() }}
+    needs:
+    - build
     runs-on: ubuntu-latest
     steps:
-    - name: Success
-      run: |
-        echo 'Checks passed {"head_ref": "${{github.head_ref}}"}'
+    - name: Decide whether the needed jobs succeeded or failed
+      uses: re-actors/alls-green@release/v1
+      with:
+        jobs: ${{ toJSON(needs) }}
 
 # vim: set nowrap tw=100: