2026-10-21 16:46.29: New job: build conf-bash.1 (372c4b83e20b)
2026-10-21 16:46.29: [profile odoc-master-mini] build conf-bash.1
2026-10-21 16:46.29: build conf-bash.1 (372c4b83e20b)
=== 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-10-21 16:48.02: OK: build conf-bash.1 (runc: 2.4s, disk: 4KB)
2026-10-21 16:48.08: Job succeeded