Skip to content

Scope the first tools/list to this server's backend and report unreadable connections (0.7.12) - #15

Merged
MainSequenceDev merged 2 commits into
mainfrom
codex/registry-defects
Oct 26, 2026
Merged

MainSequenceDev merged 2 commits into
mainfrom
codex/registry-defects

Pin devtools 0.3.14 by its published integrity

64ffd97
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
verify (ubuntu-latest)
succeeded Oct 26, 2026 in 17s