Remove async-trait crate and async, z3, cvc5 features
#17
Triggered via pull request
December 28, 2023 18:45
oeb25
Status
Success
Total duration
10m 37s
Artifacts
–
ci.yml
on: pull_request
CI
0s