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