Cherry-pick to fix CI#2750

vmcj merged 2 commits intoDOMjudge:8.3DOMjudge/domjudge:8.3from

vmcj:phpstan83_221024vmcj/domjudge:phpstan83_221024Copy head branch name to clipboard