Skip to content

Build Test

Build Test #370

Triggered via schedule December 13, 2023 10:08
Status Failure
Total duration 10m 45s
Artifacts

buildtest.yml

on: schedule
Matrix: deploy
Matrix: indepthTests
Matrix: stableTest
Email notification
4s
Email notification
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 2 warnings
Indepth Tests (Debug, all libraries)
Process completed with exit code 1.
Indepth Tests (Release, no libraries)
The job was canceled because "Debug_ci-debug_ci-debug_B" failed.
Indepth Tests (Release, no libraries)
The operation was canceled.
Indepth Tests (Debug, no libraries)
The job was canceled because "Debug_ci-debug_ci-debug_B" failed.
Indepth Tests (Debug, no libraries)
The operation was canceled.
Indepth Tests (Release, all libraries)
The job was canceled because "Debug_ci-debug_ci-debug_B" failed.
Indepth Tests (Release, all libraries)
The operation was canceled.
Test and Deploy on latest (Debug)
Process completed with exit code 1.
Test and Deploy on latest (Release)
The job was canceled because "Debug_ci-debug_ci-debug_B" failed.
Test and Deploy on latest (Release)
Process completed with exit code 1.
Test on stable (Debug): setup.py#L82
Stormpy is incompatible with stable version of Storm
Test on stable (Release): setup.py#L82
Stormpy is incompatible with stable version of Storm