Testing PHP 8.1 is unnecessary after we dropped support for it.#3277
Closed
meisterT wants to merge 1 commit intoDOMjudge:mainfrom
Closed
Testing PHP 8.1 is unnecessary after we dropped support for it.#3277meisterT wants to merge 1 commit intoDOMjudge:mainfrom
meisterT wants to merge 1 commit intoDOMjudge:mainfrom