Skip to content

Move doc files from main repo into docs repo #1923

Move doc files from main repo into docs repo

Move doc files from main repo into docs repo #1923

Triggered via pull request December 17, 2024 15:27
Status Success
Total duration 4m 18s
Artifacts 1

update_documentation.yml

on: pull_request
Check Markdown Syntax
35s
Check Markdown Syntax
Check File Names
5s
Check File Names
Check Shell Scripts
27s
Check Shell Scripts
Check Python Scripts
11s
Check Python Scripts
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
Check File Names
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check Python Scripts
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check Shell Scripts
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check Markdown Syntax
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
documentation-artifacts
14.8 MB