2021-11-27 14:37.28: New job: git clone { "repo": "https://github.com/dune-universe/lib-findlib.git", "gref": "duniverse-1.8.1" } 2021-11-27 14:37.28: Exec: "git" "-C" "/var/lib/ocurrent/var/git/lib-findlib.git-97c2bd9d0a940fd195f10daaf27314d5000770f9d18384dc7a45ec10b849110c" "fetch" "-f" "https://github.com/dune-universe/lib-findlib.git" "duniverse-1.8.1:refs/remotes/origin/duniverse-1.8.1" 2021-11-27 14:37.28: Exec: "git" "-C" "/var/lib/ocurrent/var/git/lib-findlib.git-97c2bd9d0a940fd195f10daaf27314d5000770f9d18384dc7a45ec10b849110c" "rev-parse" "origin/duniverse-1.8.1" 2021-11-27 14:37.28: Job succeeded