2024-04-15 08:53.17: New job: git clone { "repo": "https://github.com/AbsInt/CompCert", "gref": "master" } 2024-04-15 08:53.17: Exec: "git" "-C" "/var/lib/ocurrent/var/git/CompCert-6afc2f94983143135913545ddfcf8b819e7a1c1579c5c0428d1a8e5e49765bd0" "fetch" "-q" "-f" "https://github.com/AbsInt/CompCert" "master:refs/remotes/origin/master" 2024-04-15 08:53.17: Exec: "git" "-C" "/var/lib/ocurrent/var/git/CompCert-6afc2f94983143135913545ddfcf8b819e7a1c1579c5c0428d1a8e5e49765bd0" "rev-parse" "origin/master" 2024-04-15 08:53.17: Job succeeded