Skip to content

chore: switch CI from self-hosted to GitHub-hosted runners#240

Merged
MichielDean merged 2 commits into
mainfrom
chore/switch-to-github-hosted-runners
May 3, 2026
Merged

chore: switch CI from self-hosted to GitHub-hosted runners#240
MichielDean merged 2 commits into
mainfrom
chore/switch-to-github-hosted-runners

Commits

Commits on May 3, 2026