Back to pull request #198

Bugfix in parse_properties #495

Sign in to view logs

Triggered via pull request December 16, 2024 09:10

sjunges

opened #198

sjunges:bugfix

Status Success

Total duration 30m 57s

Artifacts –

buildtest.yml

on: pull_request

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