Skip to content
Build Test

Build Test #365

Sign in to view logs

Build Test

Build Test #365

Triggered via schedule December 6, 2023 10:08
@i2giti2git
⁠ 2ced38f
master
Status Success
Total duration 20m 25s
Artifacts –

buildtest.yml

on: schedule
Matrix: deploy
Matrix: indepthTests
Matrix: stableTest
Email notification
4s
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