Skip to content

Remove async-trait crate and async, z3, cvc5 features #17

Remove async-trait crate and async, z3, cvc5 features

Remove async-trait crate and async, z3, cvc5 features #17

Triggered via pull request December 28, 2023 18:45
Status Success
Total duration 10m 37s
Artifacts

ci.yml

on: pull_request
Matrix: Check
Matrix: Test
Fit to window
Zoom out
Zoom in