Build:
  1. 96
  2. 95
  3. 94
  4. 93
  5. 92
  6. 91
  7. 90
  8. 89
  9. 88
  10. 87
2021-06-10 11:59.50: New job: git clone {
                                          "repo":
                                            "https://github.com/janestreet/base.git",
                                          "gref": null
                                        }
2021-06-10 11:59.50: Exec: "git" "ls-remote" "--symref" "https://github.com/janestreet/base.git" 
                           "HEAD"
2021-06-10 11:59.50: Default branch is 'master'
2021-06-10 11:59.50: Exec: "git" "-C" "/home/camel/mirage-ci/var/git/base.git-3cbe6a3f32a231e62309e15e6fdb99a7c0b56d1ff817236f759e9614ae167990" 
                           "fetch" "-f" "https://github.com/janestreet/base.git" 
                           "master:refs/remotes/origin/master"
2021-06-10 11:59.50: Exec: "git" "-C" "/home/camel/mirage-ci/var/git/base.git-3cbe6a3f32a231e62309e15e6fdb99a7c0b56d1ff817236f759e9614ae167990" 
                           "rev-parse" "origin/master"
2021-06-10 11:59.50: Job succeeded