Skip to content

Conversation

@simonwuelker
Copy link
Contributor

@simonwuelker simonwuelker commented Jan 15, 2026

This change moves the check into a seperate workflow, making it only run for pull requests (as opposed to pushes to the main branch, pull requests and merge queue jobs).

Changing to on: pull_request_target makes it run in the context of the base repo, allowing it to edit pull requests.

Signed-off-by: Simon Wülker <simon.wuelker@arcor.de>
Signed-off-by: Simon Wülker <simon.wuelker@arcor.de>
@simonwuelker simonwuelker marked this pull request as ready for review January 15, 2026 13:47
@simonwuelker
Copy link
Contributor Author

ready for review, though the job won't run on this PR itself.

@mrobinson mrobinson added this pull request to the merge queue Jan 15, 2026
Merged via the queue into servo:main with commit 850ad41 Jan 15, 2026
8 checks passed
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