Build Test

Added convenience functions for state valuations (#199) #501

Sign in to view logs

Triggered via push December 29, 2024 00:55

volkm

master

Status Success

Total duration 30m 24s

Artifacts –

buildtest.yml

on: push

Matrix: deploy

Matrix: indepthTests

Matrix: stableTest

Email notification

Annotations

11 warnings

Test on stable (Debug)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Test on stable (Debug): setup.py#L82

Stormpy is incompatible with stable version of Storm

Test on stable (Release)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Test on stable (Release): setup.py#L82

Stormpy is incompatible with stable version of Storm

Indepth Tests (Debug, no libraries)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Indepth Tests (Release, no libraries)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Test and Deploy on latest (Debug)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Indepth Tests (Debug, all libraries)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Indepth Tests (Release, all libraries)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Test and Deploy on latest (Release)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Email notification

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636