Add support for Bitwuzla and CVC5 #139

Sign in to view logs

Re-run triggered September 12, 2023 19:00

sorawee

#260

gussmith23:gussmith23/add-bitwuzla-and-cvc5

Status Success

Total duration 55m 45s

Artifacts –

tests.yml

on: pull_request

Matrix: test