Build:
  1. 0
2026-10-21 16:46.29: New job: build conf-git.1.1 (db6e2a186c34)
2026-10-21 16:46.29: [profile odoc-master-mini] build conf-git.1.1
2026-10-21 16:46.31: build conf-git.1.1 (db6e2a186c34)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
Processing: [default: loading data]
[conf-git: git]
+ /usr/bin/git "--version" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-git.1.1)
- git version 2.47.3
-> compiled  conf-git.1.1
-> installed conf-git.1.1

=== STDERR ===

2026-10-21 16:48.02: OK: build conf-git.1.1 (runc: 2.0s, disk: 4KB)
2026-10-21 16:48.08: Job succeeded