Skip to content

ci: run on GitHub runners directly#2286

Merged
RobPasMue merged 19 commits intomainfrom
ci/use-gh-runners
Oct 7, 2025
Merged

ci: run on GitHub runners directly#2286
RobPasMue merged 19 commits intomainfrom
ci/use-gh-runners

Commits

Commits on Oct 7, 2025