2026-10-06 16:35.37: New job: build conf-linux-libc-dev.0 (579966a0e828)
2026-10-06 16:35.37: [profile odoc-master-mini] build conf-linux-libc-dev.0
2026-10-06 16:35.37: build conf-linux-libc-dev.0 (579966a0e828)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
Processing: [default: loading data]
[conf-linux-libc-dev: sh]
+ /usr/bin/sh "-exc" "echo '#include <linux/stddef.h>' > test.c" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-linux-libc-dev.0)
- + echo #include <linux/stddef.h>
[conf-linux-libc-dev: cc test.c]
+ /usr/bin/cc "-E" "test.c" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-linux-libc-dev.0)
- # 0 "test.c"
- # 0 "<built-in>"
- # 0 "<command-line>"
- # 1 "/usr/include/stdc-predef.h" 1 3 4
- # 0 "<command-line>" 2
- # 1 "test.c"
- # 1 "/usr/include/linux/stddef.h" 1 3 4
- # 2 "test.c" 2
-> compiled  conf-linux-libc-dev.0
-> installed conf-linux-libc-dev.0

=== STDERR ===

2026-10-06 16:36.39: OK: build conf-linux-libc-dev.0 (runc: 31.4s, disk: 4KB)
2026-10-06 16:45.13: Job succeeded