Skip to content
Check

fix distributivity in nested ORs in $and; fix neutrality in $and #36

Sign in to view logs

fix distributivity in nested ORs in $and; fix neutrality in $and

fix distributivity in nested ORs in $and; fix neutrality in $and #36

Run time

Learn about OS pricing on GitHub Actions
Job Run time
code-style
15s
code-quality
30s
45s