Skip to content

Use release-package follow-up PR action#39

Merged
lukewilliamboswell merged 1 commit into
mainfrom
release-package-workflow-migration
Jul 10, 2026
Merged

Use release-package follow-up PR action#39
lukewilliamboswell merged 1 commit into
mainfrom
release-package-workflow-migration

Conversation

@lukewilliamboswell

Copy link
Copy Markdown
Owner

Summary

  • update release-package action refs to Add release follow-up PR action roc-lang/release-package#2 while testing the new create-followup-pr action
  • replace the direct docs/examples commit push with create-followup-pr
  • grant publish-docs pull-requests: write so the action can open/update the follow-up PR

Why

The 1.0.1 release published successfully, but the docs/examples follow-up commit tried to push directly to protected main and was rejected. The shared action moves that GitHub branch/PR mechanic into release-package and avoids direct protected-branch pushes.

Verification

  • PASS: Ruby YAML parse for .github/workflows/release.yml and .github/workflows/tests.yaml
  • PASS: bash -n scripts/bundle.sh ci/all_tests.sh
  • PASS: roc fmt --check examples/csv-movies.roc examples/letters.roc examples/markdown.roc examples/numbers.roc

Notes

@lukewilliamboswell
lukewilliamboswell merged commit 2d743b5 into main Jul 10, 2026
5 checks passed
@lukewilliamboswell
lukewilliamboswell deleted the release-package-workflow-migration branch July 10, 2026 03:46
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