Skip to content
eqWAlizer CI

Always use positive part of occurrence typing in clauses #299

Sign in to view logs

Always use positive part of occurrence typing in clauses

Always use positive part of occurrence typing in clauses #299

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux CI (OTP 26.2)
11m 54s
MacOS CI (26)
10m 18s
22m 12s