Skip to content

👷 ci(docs): add MkDocs Pages workflow (E5-S04) - #14

Merged
konih merged 1 commit into
mainfrom
lane/e5-s04-docs-pages
Aug 4, 2026
Merged

👷 ci(docs): add MkDocs Pages workflow (E5-S04)#14
konih merged 1 commit into
mainfrom
lane/e5-s04-docs-pages

Conversation

@konih

@konih konih commented Aug 4, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Add .github/workflows/docs.yaml: path-filtered push(main) / pull_request / workflow_dispatch for docs/**, mkdocs.yml, README.md, and the workflow itself.
  • PR runs mkdocs build --strict (link/nav validation) and uploads the Pages artifact; deploy runs only on main / workflow_dispatch via actions/deploy-pages + actions/upload-pages-artifact.
  • All actions SHA-pinned; permissions declare contents: read, pages: write, id-token: write. Does not touch ci.yaml. Pages already enabled (OD-5).

Test plan

Strict build on docs-path PRs; deploy to GitHub Pages from main only.
@sonarqubecloud

sonarqubecloud Bot commented Aug 4, 2026

Copy link
Copy Markdown

Quality Gate Failed Quality Gate failed

Failed conditions
C Security Rating on New Code (required ≥ A)

See analysis details on SonarQube Cloud

Catch issues before they fail your Quality Gate with our IDE extension SonarQube for IDE

@konih

konih commented Aug 4, 2026

Copy link
Copy Markdown
Contributor Author

Independent review — APPROVE

Verdict: APPROVE (no P0/P1)

Path-filtered docs workflow; PR builds without deploy; main deploys via Pages; SHA pins. P3: checkout v7 vs ci v4 inconsistency only.

@konih
konih merged commit 1daa566 into main Aug 4, 2026
9 of 10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant