Skip to content
Build Test

Patch to pybind11 to avoid issue with concat in modernjson (#144) #362

Sign in to view logs

Patch to pybind11 to avoid issue with concat in modernjson (#144)

Patch to pybind11 to avoid issue with concat in modernjson (#144) #362

Triggered via push November 28, 2023 15:52
@volkmvolkm
pushed 2ced38f
master
Status Success
Total duration 21m 20s
Artifacts –

buildtest.yml

on: push
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