2026-10-21 16:46.29: New job: build conf-gcc.1.0 (85ba5a42c764)
2026-10-21 16:46.29: [profile odoc-master-mini] build conf-gcc.1.0
2026-10-21 16:46.29: build conf-gcc.1.0 (85ba5a42c764)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
Processing: [default: loading data]
[conf-gcc: gcc]
+ /usr/bin/gcc "--version" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-gcc.1.0)
- gcc (Debian 14.2.0-19) 14.2.0
- Copyright (C) 2024 Free Software Foundation, Inc.
- This is free software; see the source for copying conditions.  There is NO
- warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
- 
-> compiled  conf-gcc.1.0
-> installed conf-gcc.1.0

=== STDERR ===

2026-10-21 16:47.39: OK: build conf-gcc.1.0 (runc: 5.7s, disk: 4KB)
2026-10-21 16:48.08: Job succeeded