Skip to content

CI: add linting and type checking - #8

Merged
shenanigansd merged 1 commit into
mainfrom
br/ci
Jun 20, 2026
Merged

shenanigansd merged 1 commit into
mainfrom
br/ci

Commits

  1. Commits on Jun 20, 2026