Add existential and universal quantifier #1980
Triggered via pull request
December 17, 2023 20:38
nwagner84
Status
Success
Total duration
22m 46s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
check
1m 1s
Matrix: test
Matrix: cross
Matrix: fuzz
fmt
20s
clippy
52s
audit
0s
upgrades
0s
deny
36s
miri
1m 39s
book
1m 45s
gh-pages
0s