Build:
  1. 8
  2. 7
  3. 6
  4. 5
  5. 4
  6. 3
  7. 2
  8. 1
  9. 0
2026-06-09 06:21.48: New job: github-pin-overlay https://github.com/ocaml/odoc → /home/app/.day11/overlays/odoc-master
2026-06-09 06:21.48: $ git -C /home/app/.day11/overlays/odoc-master/upstream fetch --prune --tags origin
2026-06-09 06:21.49: $ git -C /home/app/.day11/overlays/odoc-master/upstream symbolic-ref -q HEAD >/dev/null && git -C /home/app/.day11/overlays/odoc-master/upstream merge --ff-only '@{u}' || { echo "WARNING: HEAD detached at $(git -C /home/app/.day11/overlays/odoc-master/upstream rev-parse --short HEAD); not auto-advancing." >&2; true; }
2026-06-09 06:21.49: Already up to date.
2026-06-09 06:21.49: $ git -C /home/app/.day11/overlays/odoc-master/upstream rev-parse HEAD
2026-06-09 06:21.49: af26831b2a3f28ae2eccdfd145b4f04131b6fd3d
2026-06-09 06:21.49: $ git -C /home/app/.day11/overlays/odoc-master/upstream describe --tags --abbrev=0 2>/dev/null || echo 0.0.0
2026-06-09 06:21.49: 3.2.1
2026-06-09 06:21.49: $ git -C /home/app/.day11/overlays/odoc-master/upstream show -s --format=%ct af26831b2a3f28ae2eccdfd145b4f04131b6fd3d
2026-06-09 06:21.49: 1780559972
2026-06-09 06:21.49: upstream https://github.com/ocaml/odoc 
                     af26831b2a3f28ae2eccdfd145b4f04131b6fd3d (tag 3.2.1) → version 3.2.1+master.1780559972.af26831
2026-06-09 06:21.49: $ git -C /home/app/.day11/overlays/odoc-master/repo status --porcelain
2026-06-09 06:21.49: overlay clean, no commit
2026-06-09 06:21.49: $ git -C /home/app/.day11/overlays/odoc-master/repo rev-parse HEAD
2026-06-09 06:21.49: 04b04f7340201e4d865e51146a6483b43c791459
2026-06-09 06:21.49: /home/app/.day11/overlays/odoc-master/repo 
                     04b04f7340201e4d865e51146a6483b43c791459
2026-06-09 06:21.49: Job succeeded