chore(ci): switch to bot token for some GitHub Actions workflows #176
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
GitHub events generated by the built-in, automatic GitHub Actions token are explicitly ignored by GitHub Actions. This means that if an issue or pull request is created with the built-in token, that issue or pull request will not trigger other GitHub Actions workflows.
We previously worked around this issue by switching to scheduled workflows where necessary, but this leads to a large number of duplicate pull requests. Using a custom bot token for the
upgrade-provider
command allows us to roll back the move to scheduled jobs and rely on GitHub events to trigger the necessary workflows on-demand.