2026-10-22 15:04.12: New job: docker build {
                                             "commit": "02c471237c6860344426dd79e2153869c353b92a",
                                             "dockerfile": {
                                               "file": "./Dockerfile"
                                             },
                                             "docker_context": null,
                                             "squash": false,
                                             "buildx": false,
                                             "build_args": [],
                                             "path": null
                                           }
2026-10-22 15:04.12: Checking out commit 02c47123. To reproduce:
                       git clone --recursive "https://github.com/rocq-prover/rocq-prover.org.git" -b "fix-SSL3-issue" && cd "rocq-prover.org" && git reset --hard 02c47123
2026-10-22 15:04.12: Exec: "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git" 
                           "/tmp/git-checkout18fce439"
cp: cannot stat '/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git/index.lock': No such file or directory
2026-10-22 15:04.12: Job failed: Command "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git" 
"/tmp/git-checkout18fce439" exited with status 1