Skip to content

Remove MinMaxMethod "topological_cuda" #356

Remove MinMaxMethod "topological_cuda"

Remove MinMaxMethod "topological_cuda" #356

Triggered via pull request November 27, 2023 08:07
Status Failure
Total duration 14m 25s
Artifacts

buildtest.yml

on: pull_request
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, no libraries)
Process completed with exit code 1.
Indepth Tests (Debug, all libraries)
The job was canceled because "Debug_ci-debug_ci-debug_2" failed.
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_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.
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