Skip to content
Build Test

enable exploration checks in builder options #366

Sign in to view logs

enable exploration checks in builder options

enable exploration checks in builder options #366

Re-run triggered December 6, 2023 11:32
@sjungessjunges
#147
randriu:master
Status Success
Total duration 19m 27s
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