Skip to content
Build Test

update with latest change in storm #378

Sign in to view logs

update with latest change in storm

update with latest change in storm #378

Triggered via pull request January 1, 2024 12:39
@sjungessjunges
opened #152
sjunges:statevalfix
Status Success
Total duration 17m 13s
Artifacts –

buildtest.yml

on: pull_request
Matrix: deploy
Matrix: indepthTests
Matrix: stableTest
Email notification
2s
Email notification
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
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