Tests and formatting

Mention CVC5 in the top-level README #234

Sign in to view logs

Triggered via push November 28, 2023 19:09

master

Status Success

Total duration 13m 36s

Artifacts –

main.yaml

on: push

markdown-link-check

Check formatting

Run test suites