Skip to content

chore: switch CI to GitHub-hosted runners - #3

Merged
ChristianPraiss merged 7 commits into
mainfrom
chore/github-hosted-runners
Jul 20, 2026
Merged

chore: switch CI to GitHub-hosted runners#3
ChristianPraiss merged 7 commits into
mainfrom
chore/github-hosted-runners

Commits

Commits on Jul 20, 2026