Skip to content

feat(ui/quickfix): implement ProofCodeCodeActionProvider for 1-click risk auto-remediation - #27

Merged
waleedcodes merged 3 commits into
workingfrom
pr-27-src-ui-codeActionProvider
Oct 9, 2026
Merged

feat(ui/quickfix): implement ProofCodeCodeActionProvider for 1-click risk auto-remediation#27
waleedcodes merged 3 commits into
workingfrom
pr-27-src-ui-codeActionProvider

feat(ui): implement null guard and session auth insertion quick fixes

7932cf1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar