Skip to content
ADR Merge Approval

fix(rest): drop a nav group DECLARED empty, not just one the gate emptied (#7380) #954

Sign in to view logs

fix(rest): drop a nav group DECLARED empty, not just one the gate emptied (#7380)

fix(rest): drop a nav group DECLARED empty, not just one the gate emptied (#7380) #954

Triggered via pull request August 10, 2026 13:39
@os-helpos-help
opened #7460
claude/issue-7380-filternav-declared-empty-group
Status Success
Total duration 1m 19s
Artifacts –

adr-merge-approval.yml

on: pull_request
ADR maintainer approval
1m 11s
ADR maintainer approval
Fit to window
Zoom out
Zoom in