Skip to content
Build Test

Adaption to changes in storm-dft (#148) #372

Sign in to view logs

Adaption to changes in storm-dft (#148)

Adaption to changes in storm-dft (#148) #372

Triggered via push December 18, 2023 15:56
@volkmvolkm
pushed 376312d
master
Status Success
Total duration 17m 44s
Artifacts –

buildtest.yml

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

Annotations

2 warnings
Test on stable (Release): setup.py#L82
Stormpy is incompatible with stable version of Storm
Test on stable (Debug): setup.py#L82
Stormpy is incompatible with stable version of Storm