Build 28 success

sync-man-pages on main · 712a068156 · queued 2026-09-28 06:00 UTC · finished 2026-09-28 06:00 UTC · ran 11s

setup

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

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