Skip to content

Switch back to GH-hosted runners now that we're public. - #93

Merged
erikrose merged 1 commit into
mainfrom
erik/switch-to-gh-ci-runners
May 12, 2026
Merged

erikrose merged 1 commit into
mainfrom
erik/switch-to-gh-ci-runners

Commits

  1. Commits on May 12, 2026