Skip to content

fix: report runAt tactic probes that use the declaration being proved - #413

Draft
ejgallego wants to merge 2 commits into
mainfrom
codex/runat-self-reference-20261028
Draft

fix: report runAt tactic probes that use the declaration being proved#413
ejgallego wants to merge 2 commits into
mainfrom
codex/runat-self-reference-20261028

doc: link the self-reference changelog entry to its pull request

c49930e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar