Build:
  1. 1434
  2. 1433
  3. 1432
  4. 1431
  5. 1430
  6. 1429
  7. 1428
  8. 1427
  9. 1426
  10. 1425
12345678910112025-05-08 08:57.25: New job: git clone {
                                          "repo": "https://github.com/coq/coq",
                                          "gref": "V8.13.2"
                                        }
2025-05-08 08:57.25: 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-08 08:57.25: Exec: "git" "-C" "/var/lib/ocurrent/var/git/coq-8afd7e43deadbf4dd67201aaacc7d84cebabbb77929e59737ce9634050459378" 
                           "rev-parse" "origin/V8.13.2"
2025-05-08 08:57.25: Job succeeded