From c8b3797768ab4cdbbe1952a0a15c3ae51bdbf6b1 Mon Sep 17 00:00:00 2001 From: Valentin Maerten Date: Tue, 9 Jul 2024 20:32:34 +0200 Subject: [PATCH] ci: add new workflow to check if versioned_docs has been modified --- .github/workflows/lint.yml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 5de26f8373..c9acea3b6a 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -41,3 +41,18 @@ jobs: - name: check-jsonschema (metaschema) run: check-jsonschema --check-metaschema website/static/schema.json + check_doc: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - name: Get changed files in the docs folder + id: changed-files-specific + uses: tj-actions/changed-files@v44 + with: + files: website/versioned_docs/** + + - uses: actions/github-script@v7 + if: steps.changed-files-specific.outputs.any_changed == 'true' + with: + script: | + core.setFailed('website/versioned_docs has changed. Instead you need to update the docs in the website/docs folder.')