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

Switch back to GH-hosted runners now that we're public.#93
erikrose merged 1 commit into
mainfrom
erik/switch-to-gh-ci-runners

Commits

Commits on May 12, 2026