Skip to content

chore: pin release workflow to app-token finalizer#112

Merged
jan-kubica merged 1 commit into
mainfrom
codex/release-app-pin
Jun 4, 2026
Merged

chore: pin release workflow to app-token finalizer#112
jan-kubica merged 1 commit into
mainfrom
codex/release-app-pin

Conversation

@jan-kubica
Copy link
Copy Markdown
Contributor

Pin the shared VERSION-based release workflows to the central finalizer commit that uses the release GitHub App token for protected tag and GitHub release writes.

Local checks:

  • actionlint .github/workflows/release.yml
  • git diff --check

CC on behalf of @jan-kubica

@gemini-code-assist
Copy link
Copy Markdown

Note

Gemini is unable to generate a review for this pull request due to the file types involved not being currently supported.

@jan-kubica jan-kubica merged commit 3130cf1 into main Jun 4, 2026
9 checks passed
@jan-kubica jan-kubica deleted the codex/release-app-pin branch June 4, 2026 09:10
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 4, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant