2026-10-06 16:44.58: New job: build rocq-native.3 (294c4c0e33e9)
2026-10-06 16:44.58: Waiting for resource in pool day11-builds
2026-10-06 16:45.13: Got resource from pool day11-builds
2026-10-06 16:45.13: [profile oxcaml-odoc-master] build rocq-native.3
2026-10-06 16:45.30: build rocq-native.3 (294c4c0e33e9)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
Processing: [default: loading data]
-> installed rocq-native.3

=== STDERR ===

2026-10-06 16:45.33: OK: build rocq-native.3 (runc: 1.6s, disk: 4KB)
2026-10-06 16:45.33: Job succeeded