Build:
  1. 17
  2. 16
  3. 15
  4. 14
  5. 13
  6. 12
  7. 11
  8. 10
  9. 9
  10. 8
2021-02-22 13:08.40: New job: git clone {
                                          "repo":
                                            "https://github.com/dune-universe/ptime.git",
                                          "gref": "duniverse-v0.8.5"
                                        }
2021-02-22 13:08.40: Exec: "git" "-C" "/home/camel/mirage-ci/var/git/ptime.git-1f0b02380919856158df649f34aff9ca8cfe80eef6c259ae848a3deeeb9d7d2f" 
                           "fetch" "-f" "https://github.com/dune-universe/ptime.git" 
                           "duniverse-v0.8.5:refs/remotes/origin/duniverse-v0.8.5"
2021-02-22 13:08.40: Exec: "git" "-C" "/home/camel/mirage-ci/var/git/ptime.git-1f0b02380919856158df649f34aff9ca8cfe80eef6c259ae848a3deeeb9d7d2f" 
                           "rev-parse" "origin/duniverse-v0.8.5"
2021-02-22 13:08.40: Job succeeded