Z3: Fix model detach · UnitTestBot/ksmt@cd998c4

Triggered via pull request October 31, 2023 23:21

Saloed

opened #143

model-fix

Status Success

Total duration 14m 48s

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-latest Expired	595 KB
ksmt-tests-report-windows-latest Expired	613 KB