Skip to content

Publish GitHub Pages via gh-pages branch (no Pages actions) - #6

Merged
jonahbeckford merged 1 commit into
mainfrom
pages-gh-branch
Aug 5, 2026
Merged

Publish GitHub Pages via gh-pages branch (no Pages actions)#6
jonahbeckford merged 1 commit into
mainfrom
pages-gh-branch

Conversation

@jonahbeckford

Copy link
Copy Markdown
Contributor

Replaces the actions/*-pages deploy in pages.yml with a plain git push
of the odoc output to the gh-pages branch, so no further Actions-allowlist
entries are ever needed (those actions transitively pin a SHA-pinned
upload-artifact that the allowlist doesn't cover). Uses only the
already-allowlisted actions/checkout@v6 and ocaml/setup-ocaml.

After merge I'll switch the repo's Pages source to "Deploy from a branch →
gh-pages" so the pushed docs are served. Published site URL is unchanged.

The actions/*-pages actions pull in transitively SHA-pinned actions
(upload-pages-artifact -> upload-artifact@<sha>) that each need
allowlisting under this repository's curated Actions allowlist. Publish
the odoc docs with a plain `git push` to the gh-pages branch instead,
which needs only the already-allowlisted actions/checkout and
ocaml/setup-ocaml.

Requires the repository's Pages source to be set to the gh-pages branch.

Signed-off-by: Jonah Beckford <9566106-jonahbeckford@users.noreply.gitlab.com>
@jonahbeckford
jonahbeckford merged commit cb488db into main Aug 5, 2026
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant