Build:
  1. 20
  2. 19
  3. 18
  4. 17
  5. 16
  6. 15
  7. 14
  8. 13
  9. 12
  10. 11
2021-02-22 13:08.41: New job: git clone {
                                          "repo":
                                            "http://github.com/dune-universe/hmap.git",
                                          "gref": "duniverse-v0.8.0"
                                        }
2021-02-22 13:08.41: Exec: "git" "-C" "/home/camel/mirage-ci/var/git/hmap.git-ead47356496004831dab770b8a011a9a657395c116d5f02c6a5d39d37b67c5b8" 
                           "fetch" "-f" "http://github.com/dune-universe/hmap.git" 
                           "duniverse-v0.8.0:refs/remotes/origin/duniverse-v0.8.0"
warning: redirecting to https://github.com/dune-universe/hmap.git/
2021-02-22 13:08.41: Exec: "git" "-C" "/home/camel/mirage-ci/var/git/hmap.git-ead47356496004831dab770b8a011a9a657395c116d5f02c6a5d39d37b67c5b8" 
                           "rev-parse" "origin/duniverse-v0.8.0"
2021-02-22 13:08.41: Job succeeded