Upgrade z3 version to 4.12.5 #359
SaloedAnnotations
5 errors and 2 warnings
|
Run tests (ubuntu-20.04)
Gradle build failed: see console output for details
|
|
Run tests (macos-latest)
The job was canceled because "ubuntu-20_04" failed.
|
|
Run tests (macos-latest)
The operation was canceled.
|
|
Run tests (windows-latest)
The job was canceled because "ubuntu-20_04" failed.
|
|
Run tests (windows-latest)
The operation was canceled.
|
|
Run tests (macos-latest)
No files were found with the provided path: ./**/build/reports/tests/test/. No artifacts will be uploaded.
|
|
Run tests (windows-latest)
No files were found with the provided path: ./**/build/reports/tests/test/. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ksmt-tests-report-ubuntu-20.04
Expired
|
56.2 KB |
|