aggregate-status for all workflows

.github/workflows/ci.yml

@@ -0,0 +1,19 @@
+name: CI
+
+on:
+  workflow_run:
+    workflows: ["benchmarks", "miri"]  # A or B 
+    types:
+      - completed
+
+jobs:
+  aggregate-status:
+    name: Aggregate Status
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check Workflow Conclusion
+        run: |
+          if [ "${{ github.event.workflow_run.conclusion }}" != "success" ]; then
+            echo "Workflow ${{ github.event.workflow_run.name }} failed."
+            exit 1
+          fi