papermario/tools/warnings_count
Ethan Roseman 746a42af64
Debugging PR warning silliness (#1132)
* Debugging PR warning silliness

* by gorsh I think I've nabbed it
2023-12-04 18:22:06 +09:00
..
.gitignore Enforce warnings count in pull requests (#380) 2021-08-24 22:30:35 +09:00
check_new_warnings.sh Debugging PR warning silliness (#1132) 2023-12-04 18:22:06 +09:00
compare_warnings.py Add Python linter to github actions (#1100) 2023-07-30 02:03:17 +09:00