Build:
  1. 1047
  2. 1046
  3. 1045
  4. 1044
  5. 1043
  6. 1042
  7. 1041
  8. 1040
  9. 1039
  10. 1038
2024-04-12 08:53.22: New job: git clone {
                                          "repo": "https://github.com/coq/coq",
                                          "gref": "V8.13.2"
                                        }
2024-04-12 08:53.22: 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"
2024-04-12 08:53.22: Exec: "git" "-C" "/var/lib/ocurrent/var/git/coq-8afd7e43deadbf4dd67201aaacc7d84cebabbb77929e59737ce9634050459378" 
                           "rev-parse" "origin/V8.13.2"
2024-04-12 08:53.22: Job succeeded