Skip to content
Back to pull request #146

currently no sysversions of pybind #364

Sign in to view logs

currently no sysversions of pybind

currently no sysversions of pybind #364

Triggered via pull request November 29, 2023 10:58
@sjungessjunges
opened #146
sjunges:nosysversion
Status Success
Total duration 20m 28s
Artifacts –

buildtest.yml

on: pull_request
Matrix: deploy
Matrix: indepthTests
Matrix: stableTest
Email notification
5s
Email notification
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Test on stable (Release): setup.py#L82
Stormpy is incompatible with stable version of Storm
Test on stable (Debug): setup.py#L82
Stormpy is incompatible with stable version of Storm