Repository navigation

ci: refresh the release PR on every push to main, without waiting for CI - #454

Merged

sunib merged 2 commits into

mainfrom

ci/release-pr-on-push

Oct 26, 2026

Merged

ci: refresh the release PR on every push to main, without waiting for CI#454
sunib merged 2 commits into
mainfrom
ci/release-pr-on-push

Commits on Oct 26, 2026
- ci: refresh the release PR on every push to main, without waiting for CI
  
  sunib
  and
  claude
  committed
  2c7e3f3
- ci: act on the review of the release PR workflow
  
  sunib
  and
  claude
  committed
  552e35c