Skip to content
Console Pin Freshness

fix(spec): docs-gen 把 retiredKey() 墓碑渲染成 never,而不是 any (#5606) #961

Sign in to view logs

fix(spec): docs-gen 把 retiredKey() 墓碑渲染成 never,而不是 any (#5606)

fix(spec): docs-gen 把 retiredKey() 墓碑渲染成 never,而不是 any (#5606) #961

Triggered via pull request August 6, 2026 15:56
@os-zhuangos-zhuang
opened #6058
claude/issue-5606-format-type-never-tombstone
Status Failure
Total duration 15m 51s
Artifacts –

objectui-pin-freshness.yml

on: pull_request
Console Pin Freshness
15m 1s
Console Pin Freshness
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Console Pin Freshness
The job was not acquired by Runner of type hosted even after multiple attempts
Console Pin Freshness
Internal server error. Correlation ID: 6dbb13f0-1ff0-4bae-8105-49bdaa8aa45f