Skip to content

[WIP] doc: add man pages for user commands #1477

[WIP] doc: add man pages for user commands

[WIP] doc: add man pages for user commands #1477

Triggered via pull request December 19, 2024 23:55
Status Success
Total duration 5m 8s
Artifacts

main.yml

on: pull_request
generate build matrix
5s
generate build matrix
validate commits
9s
validate commits
spelling
3s
spelling
python format
14s
python format
python lint
17s
python lint
Matrix: ci-checks
Fit to window
Zoom out
Zoom in

Annotations

7 warnings
generate build matrix
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
validate commits
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
jammy - py3.6
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
el8 - py3.6
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
el8 - distcheck
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
coverage
make check failed, trying recheck in ./t