ci: add tangled CI for checking types, formatting and lints #15

Merged dich0to.me
targeting main
Merged opened by and assigned to dich0to.me
targeting main

This pull request has no versions submitted yet.