Author	SHA1	Message	Date
David Soria Parra	211b5f069a	github: add workflows to check formatting and typecheck	2024-10-11 16:17:04 +01:00