Build:
  1. 23
  2. 22
  3. 21
  4. 20
  5. 19
  6. 18
  7. 17
  8. 16
  9. 15
  10. 14
2021-02-22 13:08.41: New job: git clone {
                                          "repo":
                                            "https://github.com/mirage/either.git",
                                          "gref": null
                                        }
2021-02-22 13:08.41: Exec: "git" "ls-remote" "--symref" "https://github.com/mirage/either.git" 
                           "HEAD"
2021-02-22 13:08.41: Default branch is 'main'
2021-02-22 13:08.41: Exec: "git" "-C" "/home/camel/mirage-ci/var/git/either.git-bde3bead3d940b597858fa57b9b11c5727e7a03d4d7051387f073174b150e5a1" 
                           "fetch" "-f" "https://github.com/mirage/either.git" 
                           "main:refs/remotes/origin/main"
2021-02-22 13:08.42: Exec: "git" "-C" "/home/camel/mirage-ci/var/git/either.git-bde3bead3d940b597858fa57b9b11c5727e7a03d4d7051387f073174b150e5a1" 
                           "rev-parse" "origin/main"
2021-02-22 13:08.42: Job succeeded