Build:
  1. 21
  2. 20
  3. 19
  4. 18
  5. 17
  6. 16
  7. 15
  8. 14
  9. 13
  10. 12
2021-02-22 16:13.39: New job: git clone {
                                          "repo":
                                            "https://github.com/mirage/mirage-dev.git",
                                          "gref": "mirage-4"
                                        }
2021-02-22 16:13.39: Exec: "git" "-C" "/home/camel/mirage-ci/var/git/mirage-dev.git-0abd203c74b6c72099e3a5f123f3f753b488e60a57164dcd6c74beb41a26d333" 
                           "fetch" "-f" "https://github.com/mirage/mirage-dev.git" 
                           "mirage-4:refs/remotes/origin/mirage-4"
2021-02-22 16:13.40: Exec: "git" "-C" "/home/camel/mirage-ci/var/git/mirage-dev.git-0abd203c74b6c72099e3a5f123f3f753b488e60a57164dcd6c74beb41a26d333" 
                           "rev-parse" "origin/mirage-4"
2021-02-22 16:13.40: Job succeeded