Upgrade Z3 to 4.13.0 && support Z3 on linux/arm · UnitTestBot/ksmt@3b4f6a2

Triggered via pull request July 1, 2024 13:17

Saloed

opened #161

z3-arm

Status Success

Total duration 9m 45s

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