Upgrade Z3 version to 4.12.2 (#132) · dee-tree/ksmt@3efd7a0

Triggered via push October 23, 2023 12:01

dee-tree

main

Status Success

Total duration 17m 59s

Artifacts 2

build-and-run-tests.yml

on: push

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	325 KB
ksmt-tests-report-windows-latest Expired	337 KB