2026-10-21 16:46.29: New job: build conf-linux-libc-dev.0 (5ada59924ba9)
2026-10-21 16:46.29: [profile odoc-master-mini] build conf-linux-libc-dev.0
2026-10-21 16:46.29: build conf-linux-libc-dev.0 (5ada59924ba9)
=== 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-21 16:47.38: OK: build conf-linux-libc-dev.0 (runc: 5.7s, disk: 4KB)
2026-10-21 16:48.08: Job succeeded