Skip to content
Build and run long ksmt tests

Build and run long ksmt tests #115

Sign in to view logs

Build and run long ksmt tests

Build and run long ksmt tests #115

Re-run triggered August 15, 2024 15:13
@SaloedSaloed
⁠ 899917e
bupaheh/fixes
Status Success
Total duration 24m 28s
Artifacts 104

run-long-tests.yml

on: workflow_dispatch
Matrix: prepare_test_data
setup
0s
setup
Matrix: run_tests
Merge chunked test reports into a single one
2m 33s
Merge chunked test reports into a single one
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Run Z3BenchmarksBasedTest.testModelConversion[2] on ubuntu-latest
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
Run Z3BenchmarksBasedTest.testModelConversion[2] on ubuntu-latest
The operation was canceled.
Run Z3BenchmarksBasedTest.testSolver[16] on windows-latest
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
ksmt-test-report
15.4 MB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-16
127 KB