Build:
  1. 121
  2. 120
  3. 119
  4. 118
  5. 117
  6. 116
  7. 115
  8. 114
  9. 113
  10. 112
2021-07-22 08:23.20: New job: git clone {
                                          "repo":
                                            "https://github.com/janestreet/sexplib0.git",
                                          "gref": null
                                        }
2021-07-22 08:23.20: Exec: "git" "ls-remote" "--symref" "https://github.com/janestreet/sexplib0.git" 
                           "HEAD"
2021-07-22 08:23.20: Default branch is 'master'
2021-07-22 08:23.20: Exec: "git" "-C" "/home/camel/mirage-ci/var/git/sexplib0.git-578a2ae14e0f3fd0aee333577e526ec560aacfc08ba65939ba31f9e0b5c465de" 
                           "fetch" "-f" "https://github.com/janestreet/sexplib0.git" 
                           "master:refs/remotes/origin/master"
2021-07-22 08:23.20: Exec: "git" "-C" "/home/camel/mirage-ci/var/git/sexplib0.git-578a2ae14e0f3fd0aee333577e526ec560aacfc08ba65939ba31f9e0b5c465de" 
                           "rev-parse" "origin/master"
2021-07-22 08:23.20: Job succeeded