Skip to content
Check for copyright header

fix: equality propagation in grind order #19144

Sign in to view logs

fix: equality propagation in grind order

fix: equality propagation in grind order #19144

Triggered via pull request October 25, 2025 20:05
@leodemouraleodemoura
opened #10956
grind_order_eq_prop_bug
Status Success
Total duration 29s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
20s
check-lean-files
Fit to window
Zoom out
Zoom in