Hans Ott 5adfb36629 Run typecheck as part of CI		2025-11-01 13:07:31 +01:00
..
ISSUE_TEMPLATE	Shorten contribution file, add bug template	2025-07-28 15:01:33 +02:00
workflows	Run typecheck as part of CI	2025-11-01 13:07:31 +01:00
CONTRIBUTING	Document the workspace setup in CONTRIBUTING	2025-09-05 12:55:31 +02:00