2026-07-14 16:36.07: New job: build conf-bash.1 (1d4b58b5dd92)
2026-07-14 16:36.07: Waiting for resource in pool day11-builds
2026-07-14 16:39.37: Got resource from pool day11-builds
2026-07-14 16:39.37: [profile full] build conf-bash.1
2026-07-14 16:39.37: build conf-bash.1 (1d4b58b5dd92)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
Processing: [default: loading data]
[conf-bash: bash]
+ /usr/bin/bash "--version" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-bash.1)
- GNU bash, version 5.2.37(1)-release (x86_64-pc-linux-gnu)
- Copyright (C) 2022 Free Software Foundation, Inc.
- License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
- 
- This is free software; you are free to change and redistribute it.
- There is NO WARRANTY, to the extent permitted by law.
-> compiled  conf-bash.1
-> installed conf-bash.1

=== STDERR ===

2026-07-14 16:40.16: OK: build conf-bash.1 (runc: 1.6s, disk: 4KB)
2026-07-14 16:40.16: Job succeeded