Skip to content

ci: modifying the permissions for stable doc deployment - #435

Merged
franckgaga merged 1 commit into
mainfrom
agents/fix-mpc-documentation-deployment
Aug 29, 2026
Merged

ci: modifying the permissions for stable doc deployment#435
franckgaga merged 1 commit into
mainfrom
agents/fix-mpc-documentation-deployment

Conversation

@franckgaga

Copy link
Copy Markdown
Member

Add explicit permissions (contents/pages/id-token) and enable pushes on tag refs so Documenter.jl can deploy docs from tag-created releases. Remove deprecated write-all usage.\n\nThis ensures the DocDeploy job can push to gh-pages and that docs are deployed on releases (tags).\n\nCo-authored-by: Copilot 223556219+Copilot@users.noreply.github.com

…loys in juliaci.yml

Add explicit permissions (contents/pages/id-token) and enable pushes on tag refs so Documenter.jl can deploy docs from tag-created releases. Remove deprecated write-all usage.\n\nThis ensures the DocDeploy job can push to gh-pages and that docs are deployed on releases (tags).\n\nCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@franckgaga
franckgaga merged commit 0107471 into main Aug 29, 2026
1 check passed
@franckgaga
franckgaga deleted the agents/fix-mpc-documentation-deployment branch August 30, 2026 16:37
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