Skip to content

ci: skip docs deployment on pull requests#408

Merged
edouard-lopez merged 1 commit intopure-fish:masterfrom
simono:fix/ci-stop-deploying-docs-on-pr
Feb 19, 2026
Merged

ci: skip docs deployment on pull requests#408
edouard-lopez merged 1 commit intopure-fish:masterfrom
simono:fix/ci-stop-deploying-docs-on-pr

Conversation

@simono
Copy link
Contributor

@simono simono commented Feb 19, 2026

related: fixes #406

Summary

The Deploy docs step in the doc.yml workflow runs on pull_request events, but github-actions[bot] lacks push permissions to the gh-pages branch on PRs, causing it to fail with a 403 error.

Added an if: github.event_name != 'pull_request' condition to the deploy step so it only runs on push (to master), workflow_call, and workflow_dispatch events.

Acceptance Checks

  • CI workflow updated
  • Docs still deploy on push to master, workflow_call, and workflow_dispatch
  • PR builds skip the deploy step, avoiding the permission error

🤖 Generated with Claude Code

The deploy step fails on PRs because github-actions[bot] lacks push
permissions to the gh-pages branch. Only deploy on push to master,
workflow_call, and workflow_dispatch events.

Fixes pure-fish#406

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@edouard-lopez
Copy link
Member

Thanks for the help !

@edouard-lopez edouard-lopez merged commit b0fa9e5 into pure-fish:master Feb 19, 2026
7 checks passed
@simono simono deleted the fix/ci-stop-deploying-docs-on-pr branch February 20, 2026 05:54
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.

CI: Stop deploying on PR

2 participants