From e55dec9615adfaf6558738930889c74713a3f109 Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Mon, 30 Oct 2023 20:21:40 +0000
Subject: [PATCH] CI: adjust the `required` job to never be skipped.

While this fails a normal required status check, the merge group will
succeed even if a required status check is skipped.
---
 .github/workflows/main.yaml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 4d60b2a..d245b10 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -83,14 +83,14 @@ jobs:
           name: docs
           path: docs/_build
 
-  required: # group all required workflows into one for the required status check
+  required: # group all required workflows into one to avoid reconfiguring this in Actions settings
     needs:
       - test
       - document
+    if: always() && !contains(needs.*.result, 'cancelled')
     runs-on: ubuntu-latest
     steps:
-      - run: |
-          true
+      - run: ${{ contains(needs.*.result, 'failure') && 'false' || 'true' }}
 
   publish-docs:
     needs: document