Skip to content
Check for copyright header

fix: overeager uint constant folding #19385

Sign in to view logs

fix: overeager uint constant folding

fix: overeager uint constant folding #19385

check-lean-files

check-lean-files
succeeded Nov 1, 2025 in 29s