pr and issue templates + typecheck ci python #138

Merged
zach merged 9 commits from 135-issue-pr-templates into main 2026-07-10 18:19:23 +02:00
Showing only changes of commit f75fef3f55 - Show all commits
+1 -1
View File
@@ -53,7 +53,7 @@ body:
attributes:
label: Checklist
options:
- label: clang-format
- label: CI passes (format, lint, typecheck)
- label: Clean commits
- label: No new warnings
- label: Docs updated if needed