From f6c68e793f24109db2c112136a28d749fc1d2588 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20Cobos=20=C3=81lvarez?= <emilio@crisal.io>
Date: Sun, 4 Feb 2024 21:50:30 +0100
Subject: [PATCH] ci: Try to enable merge queue.
---
.github/workflows/bindgen.yml | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
diff --git a/.github/workflows/bindgen.yml b/.github/workflows/bindgen.yml
index ebf70dce09..21f96aed27 100644
--- a/.github/workflows/bindgen.yml
+++ b/.github/workflows/bindgen.yml
@@ -7,6 +7,9 @@ on:
pull_request:
branches:
- main
+ merge_group:
+ branches:
+ - main
jobs:
rustfmt-clippy:
@@ -254,3 +257,18 @@ jobs:
curl -L https://github.com/rust-lang/mdBook/releases/download/v0.4.5/mdbook-v0.4.5-x86_64-unknown-linux-gnu.tar.gz | tar xz
./mdbook build book
./mdbook test book
+
+ # One job that "summarizes" the success state of this pipeline. This can then
+ # be added to branch protection, rather than having to add each job
+ # separately.
+ success:
+ runs-on: ubuntu-latest
+ needs: [rustfmt-clippy, msrv, minimal, docs, quickchecking, test-expectations, test, check-cfg, test-book]
+ # GitHub branch protection is exceedingly silly and treats "jobs skipped
+ # because a dependency failed" as success. So we have to do some
+ # contortions to ensure the job fails if any of its dependencies fails.
+ if: always() # make sure this is never "skipped"
+ steps:
+ # Manually check the status of all dependencies. `if: failure()` does not work.
+ - name: check if any dependency failed
+ run: jq --exit-status 'all(.result == "success")' <<< '${{ toJson(needs) }}'