Skip to content

Enable exploration checks in builder options (#147) #369

Enable exploration checks in builder options (#147)

Enable exploration checks in builder options (#147) #369

Triggered via push December 12, 2023 08:46
Status Failure
Total duration 11m 39s
Artifacts

buildtest.yml

on: push
Matrix: deploy
Matrix: indepthTests
Matrix: stableTest
Email notification
8s
Email notification
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 2 warnings
Indepth Tests (Release, all libraries)
Process completed with exit code 1.
Indepth Tests (Debug, all libraries)
The job was canceled because "Release_ci_ci_BUILD_TYPE_" failed.
Indepth Tests (Debug, all libraries)
The operation was canceled.
Indepth Tests (Debug, no libraries)
The job was canceled because "Release_ci_ci_BUILD_TYPE_" failed.
Indepth Tests (Debug, no libraries)
The operation was canceled.
Indepth Tests (Release, no libraries)
The job was canceled because "Release_ci_ci_BUILD_TYPE_" failed.
Indepth Tests (Release, no libraries)
The operation was canceled.
Test and Deploy on latest (Release)
Process completed with exit code 1.
Test and Deploy on latest (Debug)
The job was canceled because "Release_ci_ci_BUILD_TYPE_" failed.
Test and Deploy on latest (Debug)
The operation was canceled.
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