Skip to content

Run typecheck, tests, and build on pull requests - #12

Merged
nimble-turtle merged 1 commit into
mainfrom
ci/pull-request-checks
Sep 19, 2026
Merged

nimble-turtle merged 1 commit into
mainfrom
ci/pull-request-checks

Commits

Commits on Sep 19, 2026