Build:
  1. 1418
  2. 1417
  3. 1416
  4. 1415
  5. 1414
  6. 1413
  7. 1412
  8. 1411
  9. 1410
  10. 1409
2025-05-07 08:57.24: New job: git clone {
                                          "repo": "https://github.com/coq/coq",
                                          "gref": "V8.13.2"
                                        }
2025-05-07 08:57.24: Exec: "git" "-C" "/var/lib/ocurrent/var/git/coq-8afd7e43deadbf4dd67201aaacc7d84cebabbb77929e59737ce9634050459378" 
                           "fetch" "-q" "-f" "https://github.com/coq/coq" 
                           "V8.13.2:refs/remotes/origin/V8.13.2"
2025-05-07 08:57.25: Exec: "git" "-C" "/var/lib/ocurrent/var/git/coq-8afd7e43deadbf4dd67201aaacc7d84cebabbb77929e59737ce9634050459378" 
                           "rev-parse" "origin/V8.13.2"
2025-05-07 08:57.25: Job succeeded