Build Test

Fixed program.variables (#200) #505

Sign in to view logs

Triggered via push January 8, 2025 13:57

volkm

master

Status Success

Total duration 29m 59s

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