diff --git a/.github/workflows/phpstan.yml b/.github/workflows/phpstan.yml
index fb628abaf4..94197d7421 100644
--- a/.github/workflows/phpstan.yml
+++ b/.github/workflows/phpstan.yml
@@ -16,7 +16,7 @@ jobs:
       - uses: actions/checkout@v4
       - name: Install DOMjudge
         run: .github/jobs/baseinstall.sh admin
-      - uses: php-actions/phpstan@v3
+      - uses: php-actions/phpstan@v3.0.2
         with:
           configuration: phpstan.dist.neon
           path: webapp/src webapp/tests
diff --git a/doc/manual/problem-format.rst b/doc/manual/problem-format.rst
index e9f6cbc300..4439cedc2d 100644
--- a/doc/manual/problem-format.rst
+++ b/doc/manual/problem-format.rst
@@ -54,4 +54,4 @@ problem by uploading a zip file that contains only testcase files. Any jury
 solutions present will be automatically submitted when ``allow_submit`` is
 ``1`` and there's a team associated with the uploading user.
 
-.. _ICPC problem package specification: https://icpc.io/problem-package-format/spec/problem_package_format
+.. _ICPC problem package specification: https://icpc.io/problem-package-format/spec/legacy-icpc