2026-11-02 13:45.15: New job: docker build {
                                             "commit": "cb6e7c499f779c317154e893b437fdb7a2ad83e5",
                                             "dockerfile": {
                                               "file": "./Dockerfile"
                                             },
                                             "docker_context": null,
                                             "squash": false,
                                             "buildx": false,
                                             "build_args": [],
                                             "path": null
                                           }
2026-11-02 13:45.15: Checking out commit cb6e7c49. To reproduce:
                       git clone --recursive "https://github.com/rocq-prover/rocq-prover.org.git" -b "dependabot/github_actions/DavidAnson/markdownlint-cli2-action-25.0.0" && cd "rocq-prover.org" && git reset --hard cb6e7c49
2026-11-02 13:45.15: Exec: "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git" 
                           "/tmp/git-checkout3badb59a"
cp: cannot stat '/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git/index.lock': No such file or directory
2026-11-02 13:45.20: Job failed: Command "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git" 
"/tmp/git-checkout3badb59a" exited with status 1