From b775afedf1dec8f0790ef3fd477fba908e404b3b Mon Sep 17 00:00:00 2001 From: Norman Joyner Date: Tue, 30 Dec 2025 12:24:38 -0500 Subject: [PATCH 1/2] Add PRCI check to ensure docs are up-to-date --- .github/workflows/prci.yaml | 8 +++++++- .github/workflows/sync-labels.yaml | 2 -- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/.github/workflows/prci.yaml b/.github/workflows/prci.yaml index a876129..1815ca3 100644 --- a/.github/workflows/prci.yaml +++ b/.github/workflows/prci.yaml @@ -23,9 +23,15 @@ jobs: steps: - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 - run: make test + docs: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 + - run: make docs + - run: [ -z "$(git status --porcelain)" ] report-status: runs-on: ubuntu-latest - needs: [build, test] + needs: [build, test, docs] if: ${{ !cancelled() }} steps: - name: Ensure CI Success diff --git a/.github/workflows/sync-labels.yaml b/.github/workflows/sync-labels.yaml index 283b8b6..d9e7620 100644 --- a/.github/workflows/sync-labels.yaml +++ b/.github/workflows/sync-labels.yaml @@ -14,10 +14,8 @@ jobs: with: node-version: 18.x - run: npm install -g github-label-sync@v3.0.0 - shell: bash - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 with: sparse-checkout: .github/labels.yaml - run: | github-label-sync --access-token ${{ github.token }} --labels .github/labels.yaml ${{ github.repository }} - shell: bash From 3376e5598760ccd3f455342081f91719fd11f457 Mon Sep 17 00:00:00 2001 From: Norman Joyner Date: Tue, 30 Dec 2025 12:27:43 -0500 Subject: [PATCH 2/2] Fix PRCI syntax --- .github/workflows/prci.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/prci.yaml b/.github/workflows/prci.yaml index 1815ca3..7c3e688 100644 --- a/.github/workflows/prci.yaml +++ b/.github/workflows/prci.yaml @@ -28,7 +28,7 @@ jobs: steps: - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 - run: make docs - - run: [ -z "$(git status --porcelain)" ] + - run: $([ -z "$(git status --porcelain)" ]) report-status: runs-on: ubuntu-latest needs: [build, test, docs]