Build and run long ksmt tests #106
Saloedrun-long-tests.yml
on: workflow_dispatch
Matrix: prepare_test_data
setup
0s
Matrix: run_tests
Merge chunked test reports into a single one
1m 50s
Annotations
1 warning
|
prepare_test_data (windows-latest)
Failed to save: Tar failed with error: The process 'C:\Windows\System32\tar.exe' failed with exit code 1
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ksmt-test-report
Expired
|
181 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-0
Expired
|
1.88 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-1
Expired
|
1.89 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-10
Expired
|
1.5 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-11
Expired
|
1.26 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-12
Expired
|
1.32 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-13
Expired
|
1.36 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-14
Expired
|
1.35 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-15
Expired
|
1.21 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-16
Expired
|
1.76 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-17
Expired
|
1.68 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-18
Expired
|
1.37 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-19
Expired
|
1.66 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-2
Expired
|
1.9 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-20
Expired
|
1.21 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-3
Expired
|
1.84 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-4
Expired
|
661 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-5
Expired
|
1020 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-6
Expired
|
1.08 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-7
Expired
|
1.03 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-8
Expired
|
667 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-9
Expired
|
1.14 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-0
Expired
|
1.89 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-1
Expired
|
1.9 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-10
Expired
|
1.51 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-11
Expired
|
1.26 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-12
Expired
|
1.33 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-13
Expired
|
1.36 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-14
Expired
|
1.35 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-15
Expired
|
1.21 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-16
Expired
|
1.59 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-17
Expired
|
1.84 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-18
Expired
|
1.38 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-19
Expired
|
1.68 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-2
Expired
|
1.93 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-20
Expired
|
1.22 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-3
Expired
|
1.85 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-4
Expired
|
664 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-5
Expired
|
1 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-6
Expired
|
1.09 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-7
Expired
|
1.04 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-8
Expired
|
672 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-9
Expired
|
1.15 MB |
|