From 33139ac6cbf535edf5b16aa3f2477675a2985d3f Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Tue, 8 Aug 2023 12:51:19 +0000
Subject: [PATCH] CI: group all required workflows into one for the status
 check.

This simplifies repository management.
---
 .github/workflows/main.yaml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 397da8f..da5244a 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -87,6 +87,15 @@ jobs:
           name: docs
           path: docs/_build
 
+  required: # group all required workflows into one for the required status check
+    needs:
+      - test
+      - document
+    runs-on: ubuntu-latest
+    steps:
+      - run: |
+          true
+
   publish-docs:
     needs: document
     if: github.repository == 'amaranth-lang/amaranth'