Update Docker action

Author: proux01

.github/workflows/docker-action.yml

@@ -26,7 +26,7 @@ jobs:
           - 'coqorg/base:4.14.2-flambda'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-bignums.opam'