Build:
  1. 1090
  2. 1089
  3. 1088
  4. 1087
  5. 1086
  6. 1085
  7. 1084
  8. 1083
  9. 1082
  10. 1081
2024-04-19 08:53.19: New job: git clone {
                                          "repo": "https://github.com/AbsInt/CompCert",
                                          "gref": "master"
                                        }
2024-04-19 08:53.19: Exec: "git" "-C" "/var/lib/ocurrent/var/git/CompCert-6afc2f94983143135913545ddfcf8b819e7a1c1579c5c0428d1a8e5e49765bd0" 
                           "fetch" "-q" "-f" "https://github.com/AbsInt/CompCert" 
                           "master:refs/remotes/origin/master"
2024-04-19 08:53.19: Exec: "git" "-C" "/var/lib/ocurrent/var/git/CompCert-6afc2f94983143135913545ddfcf8b819e7a1c1579c5c0428d1a8e5e49765bd0" 
                           "rev-parse" "origin/master"
2024-04-19 08:53.19: Job succeeded