Skip to content
Check for copyright header

refactor: make constant folding more robust for future bugs #19388

Sign in to view logs

refactor: make constant folding more robust for future bugs

refactor: make constant folding more robust for future bugs #19388

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-lean-files
30s
30s