Generate documentation / build-docs (push) Successful in 3m30s
fish 3.7 (Ubuntu 24.04's packaged version, used in CI) rejects 'source /dev/stdin' when it's backed by a pipe, with "'/dev/stdin' is not a file" -- fish 4.8 (local dev) accepts it. Writing the generated registry to a real temp file sources identically across fish versions.