ci: add PR build/typecheck/test workflow + fix latent type errors#414

zknpr merged 1 commit into

mainzknpr/SQLite-Explorer:mainfrom

chore/ci-typecheckzknpr/SQLite-Explorer:chore/ci-typecheckCopy head branch name to clipboard