⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Update runner group#191

Merged
parfeon merged 1 commit intomasterfrom
build/update-runner-group
Oct 28, 2025
Merged

Update runner group#191
parfeon merged 1 commit intomasterfrom
build/update-runner-group

Conversation

@parfeon
Copy link
Contributor

@parfeon parfeon commented Dec 10, 2024

build(workflow): update runner group

@parfeon parfeon added priority: medium This PR should be reviewed after all high priority PRs. status: done This issue is considered resolved. type: build This PR contains changes to the build system (like Travis or publishing a package). labels Dec 10, 2024
@parfeon parfeon self-assigned this Dec 10, 2024
@parfeon parfeon merged commit ad11aeb into master Oct 28, 2025
9 of 13 checks passed
@parfeon parfeon deleted the build/update-runner-group branch October 28, 2025 12:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

priority: medium This PR should be reviewed after all high priority PRs. status: done This issue is considered resolved. type: build This PR contains changes to the build system (like Travis or publishing a package).

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants