Skip to content

fix(github): use a dedicated token for releases#3

Merged
fr12k merged 1 commit into
mainfrom
fr12k_release_token
Oct 17, 2025
Merged

fix(github): use a dedicated token for releases#3
fr12k merged 1 commit into
mainfrom
fr12k_release_token

Conversation

@fr12k

@fr12k fr12k commented Oct 17, 2025

Copy link
Copy Markdown
Contributor

This will ensure that the release created with this dedicated token triggers also the publish workflow as well.

Currently, using the default GITHUB_TOKEN does not trigger other workflows.

This will ensure that the release created with this dedicated token
triggers also the publish workflow as well.

Currently, using the default GITHUB_TOKEN does not trigger other
workflows.
@fr12k fr12k merged commit b9646e1 into main Oct 17, 2025
1 check passed
@fr12k fr12k deleted the fr12k_release_token branch October 17, 2025 12:33
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.

2 participants