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