Build Test

Merge pycarl into stormpy #544

Sign in to view logs

Triggered via pull request March 17, 2025 16:12

linusheck

synchronize #205

storm-compilation

Status Success

Total duration 1h 0m 48s

Artifacts –

buildtest.yml

on: pull_request

Matrix: deploy

Matrix: indepthTests

Matrix: stableTest

Email notification

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