Skip to content

feat: add @[trusted_axiom] attribute and linter.untrustedAxioms linter#14407

Open
Kha wants to merge 4 commits into
masterfrom
untrusted-axioms-linter
Open

feat: add @[trusted_axiom] attribute and linter.untrustedAxioms linter#14407
Kha wants to merge 4 commits into
masterfrom
untrusted-axioms-linter

refactor: make `CollectAxioms` per-run cache a second layer over reco…

4921610
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar