Upgrade cvc to 1.2.0 · UnitTestBot/ksmt@c5dd69b

Triggered via pull request January 9, 2025 22:19

Saloed

edited #168

upgrade-cvc5

Status Success

Total duration 8m 7s

Artifacts 2

build-and-run-tests.yml

on: pull_request

Matrix: Run tests

1 warning

No files were found with the provided path: ./**/build/reports/tests/test/. No artifacts will be uploaded.

Produced during runtime

Name	Size
ksmt-tests-report-ubuntu-20.04	117 KB
ksmt-tests-report-windows-latest	118 KB