Build:
  1. 1418
  2. 1417
  3. 1416
  4. 1415
  5. 1414
  6. 1413
  7. 1412
  8. 1411
  9. 1410
  10. 1409
2025-05-08 08:57.15: New job: git clone {
                                          "repo": "https://github.com/janestreet/core_kernel",
                                          "gref": "v0.14.1"
                                        }
2025-05-08 08:57.15: Exec: "git" "-C" "/var/lib/ocurrent/var/git/core_kernel-ba97f0fcbcdc96f8786fa6a89f80b4a9c8537d727ba0d425ce5c451e6405e0b9" 
                           "fetch" "-q" "-f" "https://github.com/janestreet/core_kernel" 
                           "v0.14.1:refs/remotes/origin/v0.14.1"
2025-05-08 08:57.16: Exec: "git" "-C" "/var/lib/ocurrent/var/git/core_kernel-ba97f0fcbcdc96f8786fa6a89f80b4a9c8537d727ba0d425ce5c451e6405e0b9" 
                           "rev-parse" "origin/v0.14.1"
2025-05-08 08:57.16: Job succeeded