Skip to content
Build Test

update valuation builder tests with latest change in storm (#152) #379

Sign in to view logs

update valuation builder tests with latest change in storm (#152)

update valuation builder tests with latest change in storm (#152) #379

Triggered via push January 1, 2024 18:45
@sjungessjunges
pushed 74c8561
master
Status Success
Total duration 17m 20s
Artifacts –

buildtest.yml

on: push
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