Skip to content

Refocus ProofKit CLI around bootstrap, doctor, and package-native typegen - #191

Merged
eluce2 merged 2 commits into
mainfrom
codex/list-add-command-actions
Mar 19, 2026
Merged

Refocus ProofKit CLI around bootstrap, doctor, and package-native typegen#191
eluce2 merged 2 commits into
mainfrom
codex/list-add-command-actions

Run menu actions and harden doctor file reads

fd4b954
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar