Skip to content
Back to pull request #144

Patch to pybind11 to avoid issue with concat #361

Sign in to view logs

Patch to pybind11 to avoid issue with concat

Patch to pybind11 to avoid issue with concat #361

Re-run triggered November 28, 2023 15:30
@volkmvolkm
#144
volkm:pybind_patch
Status Success
Total duration 20m 40s
Artifacts –

buildtest.yml

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