Skip to content

Improvement backports from CDT_3 branch (Follow-up to PR #8170) #13119

Improvement backports from CDT_3 branch (Follow-up to PR #8170)

Improvement backports from CDT_3 branch (Follow-up to PR #8170) #13119

Triggered via issue January 30, 2025 07:03
@afabriafabri
commented on #8273 b19515e
Status Success
Total duration 10s
Artifacts

build_doc.yml

on: issue_comment
Trigger the build?
2s
Trigger the build?
${{ format('{0}: Build Documentation version "{1}"', github.actor, needs.pre_build_checks.outputs.doc_version) }}
0s
${{ format('{0}: Build Documentation version "{1}"', github.actor, needs.pre_build_checks.outputs.doc_version) }}
Fit to window
Zoom out
Zoom in