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'