Build Test

Slightly improved documentation for building DTMC and MDP #511

Sign in to view logs

Triggered via pull request January 16, 2025 09:29

volkm

opened #204

volkm:doc

Status Success

Total duration 29m 4s

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 (Release, 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 (Debug, 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