Update ci actions/checkout to v4 (#15283)

see 45e60e5
see 69dbfad

Author: Disservin

.github/workflows/push.yml

@@ -115,7 +115,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