Merge branch 'PHP-8.2' into PHP-8.3

* PHP-8.2:
  Update ci actions/checkout to v4 (php#15283)

Author: TimWolla

.github/workflows/push.yml

@@ -155,7 +155,7 @@ jobs:
           MYSQL_ROOT_PASSWORD: root
     steps:
       - name: git checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: apt
         uses: ./.github/actions/apt-x32
       - name: ccache