From 9d72fa32500f42f3b77130ebc6d87f598d53653a Mon Sep 17 00:00:00 2001 From: Valentin Maerten Date: Tue, 16 Jul 2024 22:03:50 +0200 Subject: [PATCH] ci: add new workflow to check if versioned_docs has been modified (#1719) --- .github/workflows/lint.yml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 5de26f83..c9acea3b 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.')