Skip to content

Don't validate PRs with the NotCoursework label#21

Merged
illicitonion merged 3 commits intomainfrom
ignore-not-coursework
Oct 3, 2025
Merged

Don't validate PRs with the NotCoursework label#21
illicitonion merged 3 commits intomainfrom
ignore-not-coursework

Commits