Add GitHub Actions docs workflow - #6
Merged
Merged
Conversation
This was referenced Jun 24, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Adds a GitHub Actions workflow for the Zensical documentation site, removes the obsolete GitLab Pages CI file, and updates the README repository layout entry to point at the new GitHub workflow. The workflow validates documentation builds on every pull request and
mainpush, and deployssite/to GitHub Pages only frommainor manual dispatch onmain.Closes #3
Validation
python3 scripts/render-dev-notes.py-> passedpython3 -m py_compile scripts/render-dev-notes.py-> passedscripts/build-docs.sh-> passed; generatedsite/rg -n "gitlab|GitLab|\.gitlab-ci|gitlab\.io" README.md docs zensical.toml scripts .github || true-> no matchespython3 -m http.server 8000 --bind 127.0.0.1 --directory sitepluscurl -fsSchecks -> HTTP 200 for/,/dev-notes/,/dev-notes/posts/2026-06-05-making-dev-notes-repeatable/,/research/runtime/,/assets/brand/favicon.svg, and/assets/brand/openshell-mark.svgrgchecks found Dev Notes cards, bylines, search index content, and brand asset references in generated outputYAML.load_file(".github/workflows/docs.yml")parsed the workflow and foundpull_request,push, andworkflow_dispatchevents plusvalidateanddeployjobs14cf440f6274bd65f19024a9d084432cc7569e12ranDocs;Validate documentationpassed andDeploy documentationskipped for the pull request event as expectedrhysd/actionlint:latestfailed due Docker Hub DNS/proxy resolution in the local environment, so the GitHub Actions run above is the authoritative workflow parser/execution checkRisks
GitHub Pages is not configured yet for this repo; tracker issue #5 covers enabling/configuring Pages and verifying the live deployed site after this workflow merges. The deploy job uses official GitHub-owned Pages actions, which are allowed by the repo's selected-actions policy.
Reviewer Notes
Reviewed through the goal-delivery independent panel process. Round 1 found one low-severity handoff issue:
README.mdstill referenced the deleted.gitlab-ci.yml; this PR now fixes it. After the trigger simplification and README fix, Round 2 returned clean across robustness/correctness/security/operations, maintainability/supply-chain, and validation/adoption lenses.Focus areas for any further review: workflow deploy gating and Pages permissions. Pull requests build but do not deploy; pushes or manual dispatches on
mainvalidate first, then build/package/deploy. Backward compatibility with GitLab CI was not required.