Steven Arcangeli 15e071f203 ci: typechecking no longer requires neodev		2024-06-01 16:38:11 -07:00
..
ISSUE_TEMPLATE	chore: add severity to feature request template	2023-12-05 17:06:12 -08:00
workflows	ci: typechecking no longer requires neodev	2024-06-01 16:38:11 -07:00
pre-commit	ci: merge workflow jobs and add makefile	2023-09-02 08:48:11 -07:00
pre-push	ci: merge workflow jobs and add makefile	2023-09-02 08:48:11 -07:00