Build 26 success

sync-man-pages on main · bbe1b2737d · queued 2026-09-21 06:00 UTC · finished 2026-09-21 06:01 UTC · ran 12s

setup

$ git clone ssh://git@127.0.0.1/krz/hutch.git (bbe1b2737d)

step 1/2 python3 scripts/sync_man_pages.py

Wrote 12 man page(s) to /workspace/Hutch/Resources/man-pages.json

step 2/2 set -e

catalog unchanged