2026-06-16 11:08.34: New job: build coq-native.1 (19d78e4393fa)
2026-06-16 11:08.34: Waiting for resource in pool day11-builds
2026-06-16 11:27.58: Got resource from pool day11-builds
2026-06-16 11:27.58: [profile full] build coq-native.1
2026-06-16 11:27.58: build coq-native.1 (19d78e4393fa)
=== DEPENDENCIES (1 transitive) ===
  rocq-native.1                                      6cf9fc6fdcb1
=== STDOUT ===
Processing: [default: loading data]
-> installed coq-native.1

=== STDERR ===

2026-06-16 11:28.50: OK: build coq-native.1 (runc: 4.4s, disk: 4KB)
2026-06-16 11:28.50: Job succeeded