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