GitHub CI

Add launch configuration howto #1316

Sign in to view logs

Triggered via pull request February 5, 2024 16:29

greschd

synchronize #389

doc/add_launch_config_howto

Status Cancelled

Total duration 7s

Artifacts –

ci_cd.yml

on: pull_request

Matrix: Build Documentation

Waiting for pending jobs

Documentation style

Pre-commit Check

Test documentation snippets

Matrix: Testing

Waiting for pending jobs

Upload dev documentation

Annotations

1 error

Canceling since a higher priority waiting request for 'GitHub CI-refs/pull/389/merge' exists