Skip to content
Build & Test

allow quantifiers \forall and \exists in addition to \A and \E #237

Sign in to view logs

allow quantifiers \forall and \exists in addition to \A and \E

allow quantifiers \forall and \exists in addition to \A and \E #237

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build & Test (macos-latest, 5.1.0)
18m 16s
Build & Test (ubuntu-latest, 5.1.0)
17m 59s
Build & Test (ubuntu-latest, 4.14.1)
17m 3s
Build & Test (macos-latest, 4.14.1)
19m 18s
1h 12m 36s