diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 69bce6b8819..32cb4a7a355 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -12,6 +12,7 @@ on: pull_request: branches: [main] paths: + - ".github/workflows/docs.yml" - "docs/**" - "DOCS_GUIDELINES.md" - "packages/core/schemas/**" @@ -22,6 +23,7 @@ on: push: branches: [main] paths: + - ".github/workflows/docs.yml" - "docs/**" - "DOCS_GUIDELINES.md" - "packages/core/schemas/**" @@ -38,7 +40,7 @@ jobs: validate: name: Validate docs runs-on: ubuntu-latest - timeout-minutes: 5 + timeout-minutes: 10 steps: - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4 @@ -52,12 +54,17 @@ jobs: - name: Check every CLI command is listed in the docs run: node scripts/check-docs-cli-commands.mjs + - name: Install Mint CLI + run: | + npm install --prefix "$RUNNER_TEMP/mint-cli" --no-save --no-package-lock mint@4.2.1096 + echo "$RUNNER_TEMP/mint-cli/node_modules/.bin" >> "$GITHUB_PATH" + - name: Validate build working-directory: docs - run: npx mint validate + run: mint validate - name: Check broken links working-directory: docs # --check-redirects also resolves every redirect destination, so a # restructure cannot leave a redirect pointing at a page it removed. - run: npx mint broken-links --check-redirects + run: mint broken-links --check-redirects