Skip to content

Build Test

Build Test #390

Triggered via schedule January 24, 2024 10:08
Status Success
Total duration 17m 57s
Artifacts

buildtest.yml

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