chore: add CI summary job (#571)

* Initial plan

* chore: add CI summary job for branch protection

Co-authored-by: jeswr <63333554+jeswr@users.noreply.github.com>

* chore: rename CI job -> summary

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: jeswr <63333554+jeswr@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Author: 3 people

.github/workflows/ci.yml

@@ -72,6 +72,22 @@ jobs:
             docs
           retention-days: 1
 
+  summary:
+    # Summary job that can be used as a single required check in branch protection
+    if: always()
+    needs:
+      - test
+      - lint
+      - spec
+      - docs
+    runs-on: ubuntu-latest
+    permissions: {}
+    steps:
+      - name: Decide whether all required jobs succeeded or failed
+        uses: re-actors/alls-green@release/v1
+        with:
+          jobs: ${{ toJSON(needs) }}
+
   gh-pages:
     needs:
       - test