diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml new file mode 100644 index 0000000..0d5be6b --- /dev/null +++ b/.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 \ No newline at end of file