search

DOMjudge / domjudge

DOMjudge programming contest jury system
https://www.domjudge.org
GNU General Public License v2.0
720 stars 254 forks source link

Get rid of final PHPStan baseline messages 🎉 #2384

Closed nickygerritsen closed 6 months ago

nickygerritsen commented 6 months ago

We might want to raise the level to 7 though, since it seems to find some stuff. I will fix some stuff in a separate PR now.