Build Test

Bugfix in parse_properties (#198) #496

Sign in to view logs

Triggered via push December 16, 2024 11:18

sjunges

master

Status Success

Total duration 31m 12s

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