Build Test

some ADD support, improved valuation support, (#154) #383

Sign in to view logs

Triggered via push January 3, 2024 06:24

sjunges

master

Status Success

Total duration 21m 25s

Artifacts –

buildtest.yml

on: push

Matrix: deploy

Matrix: indepthTests

Matrix: stableTest

Email notification

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