Skip to content

fix(ci): add workflows permission to publish pipeline#280

Closed
drew wants to merge 1 commit intomainfrom
fix-publish-workflows-permission/an
Closed

fix(ci): add workflows permission to publish pipeline#280
drew wants to merge 1 commit intomainfrom
fix-publish-workflows-permission/an

Conversation

@drew
Copy link
Collaborator

@drew drew commented Mar 13, 2026

Summary

  • Adds workflows: write permission to the Publish workflow's top-level permissions block
  • Fixes the "Release Devel" job failure caused by git push --force origin devel being rejected when the tagged commit includes workflow file changes

Context

The release-devel job force-pushes the devel tag to the latest commit on main. GitHub requires the workflows permission to push any ref where the diff (relative to the old ref target) includes files under .github/workflows/. This was a latent issue that first surfaced when PR #277 (crate rename) modified .github/workflows/docker-build.yml.

Failed run: https://github.com/NVIDIA/OpenShell/actions/runs/23043678584/job/66928323078

@drew drew self-assigned this Mar 13, 2026
@drew drew closed this Mar 15, 2026
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