Skip to content

Register project tools through devtools' shared registry (0.7.9) - #4

Merged
MainSequenceDev merged 5 commits into
mainfrom
codex/shared-project-tool-registry
Oct 23, 2026
Merged

MainSequenceDev merged 5 commits into
mainfrom
codex/shared-project-tool-registry

Pin devtools 0.3.12 by its published integrity

07cced8
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 23, 2026 in 20s