Skip to content
Back to pull request #6861

feat: Bool.and, Bool.or, and Bool.not propagation in grind #8261

Sign in to view logs

feat: Bool.and, Bool.or, and Bool.not propagation in grind

feat: Bool.and, Bool.or, and Bool.not propagation in grind #8261

Run time

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