Add existential and universal quantifier #1987
nwagner84ci.yml
on: pull_request
check
18s
Matrix: test
Matrix: cross
Matrix: fuzz
fmt
19s
clippy
19s
audit
0s
upgrades
0s
deny
43s
miri
1m 48s
book
1m 46s
gh-pages
0s