Skip to content

Default to github runners#132

Merged
seb4stien merged 3 commits into
mainfrom
feat/use-github-runners-by-default
Jun 18, 2026
Merged

Default to github runners#132
seb4stien merged 3 commits into
mainfrom
feat/use-github-runners-by-default

Conversation

@seb4stien

Copy link
Copy Markdown
Contributor

To reduce pressure on the self-hosted github runners, we running the light tests on github runners.

@seb4stien seb4stien requested a review from a team as a code owner June 18, 2026 14:06
@seb4stien seb4stien requested review from arturo-seijas and m2-farzan and removed request for a team June 18, 2026 14:06
@seb4stien seb4stien merged commit 316dddb into main Jun 18, 2026
23 checks passed
@seb4stien seb4stien deleted the feat/use-github-runners-by-default branch June 18, 2026 14:27
@javierdelapuente javierdelapuente restored the feat/use-github-runners-by-default branch June 18, 2026 14:34
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.

3 participants