fix: grind order equality propagation for Nat
#14481
Triggered via pull request
November 1, 2025 18:54
leodemoura
leodemoura
closed
#11050
Status
Success
Total duration
7s
Artifacts
–