Add existential and universal quantifier #1988
nwagner84ci.yml
on: pull_request
check
52s
Matrix: test
Matrix: cross
Matrix: fuzz
fmt
14s
clippy
52s
audit
0s
upgrades
0s
deny
35s
miri
1m 38s
book
1m 49s
gh-pages
0s