Skip to content

Require mirroring policy changes in Axiom RuleSpec - #1877

Merged
MaxGhenis merged 2 commits into
mainfrom
axiom-parity-guidelines
Oct 4, 2026
Merged

MaxGhenis merged 2 commits into
mainfrom
axiom-parity-guidelines

Allow axiom: queued only when the encoder is blocked; add axiom: needed

af92247
Select commit
Loading
Failed to load commit list.