CI

Remove `async-trait` crate and `async`, `z3`, `cvc5` features #14

Sign in to view logs

Triggered via push December 28, 2023 18:41

oeb25

remove-async-trait-and-async-z3-cvc5-features

Status Success

Total duration 10m 53s

Artifacts –

ci.yml

on: push

Matrix: Check

Matrix: Test