Run typecheck - #2

Merged

mmalfertheiner merged 3 commits into

mainfrom

Aug 5, 2022

Commits on Aug 4, 2022

Run typecheck on every commit
mmalfertheiner
committed
91ec438
add typecheck command
mmalfertheiner
committed
fbe71a7
add package-json otherwise npm ci does not work
mmalfertheiner
committed
cfb5d49