Upgrade z3 version to 4.12.5 · UnitTestBot/ksmt@05f5ea7

Triggered via pull request January 30, 2024 06:51

Saloed

edited #148

z3-4.12.4

Status Success

Total duration 11m 41s

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 Expired	114 KB
ksmt-tests-report-windows-latest Expired	115 KB