Skip to content

All-in-one support (#156) #387

All-in-one support (#156)

All-in-one support (#156) #387

Triggered via push January 3, 2024 20:30
Status Success
Total duration 1h 14m 32s
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 (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