Add existential and universal quantifier #1997
nwagner84ci.yml
on: pull_request
check
25s
Matrix: test
Matrix: cross
Matrix: fuzz
fmt
21s
clippy
25s
audit
0s
upgrades
0s
deny
42s
miri
1m 34s
book
1m 43s
gh-pages
0s