Add existential and universal quantifier #1979
nwagner84
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
check
55s
Matrix: test
Matrix: cross
Matrix: fuzz
fmt
18s
clippy
55s
audit
0s
upgrades
0s
deny
40s
miri
1m 35s
book
1m 44s
gh-pages
0s