Skip to content

Build Test

Build Test #451

Manually triggered August 20, 2024 16:03
Status Failure
Total duration 25m 8s
Artifacts

buildtest.yml

on: workflow_dispatch
Matrix: deploy
Matrix: indepthTests
Matrix: stableTest
Email notification
5s
Email notification
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 3 warnings
Test and Deploy on latest (Debug)
Process completed with exit code 2.
Test and Deploy on latest (Release)
The job was canceled because "Debug_ci-debug_ci-debug_B" failed.
Test and Deploy on latest (Release)
The operation was canceled.
Indepth Tests (Debug, no libraries)
Process completed with exit code 2.
Indepth Tests (Release, no libraries)
The job was canceled because "Debug_ci-debug_ci-debug_2" failed.
Indepth Tests (Release, no libraries)
The operation was canceled.
Indepth Tests (Release, all libraries)
The job was canceled because "Debug_ci-debug_ci-debug_2" failed.
Indepth Tests (Release, all libraries)
The operation was canceled.
Indepth Tests (Debug, all libraries)
The job was canceled because "Debug_ci-debug_ci-debug_2" failed.
Indepth Tests (Debug, all libraries)
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
Email notification
The following actions use a deprecated Node.js version and will be forced to run on node20: technote-space/workflow-conclusion-action@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/