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