Tests and formatting

Experimental version of `smtlib-backends-cvc5` #232

Sign in to view logs

Re-run triggered November 28, 2023 18:15

#65

smtlib-backends-cvc5

Status Success

Total duration 13m 40s

Artifacts –

main.yaml

on: pull_request

markdown-link-check

Check formatting

Run test suites