Skip to content
Build Developer Guide Docs

Extract developer guide report summaries to script #38

Sign in to view logs

Extract developer guide report summaries to script

Extract developer guide report summaries to script #38

Triggered via pull request October 23, 2025 16:59
@shai-almogshai-almog
synchronize #4058
codex/enhance-developer-guide-workflow
Status Success
Total duration 5m 15s
Artifacts 5

developer-guide-docs.yml

on: pull_request
build
5m 7s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
developer-guide-asciidoc-lint Expired
450 Bytes
sha256:f6e21b4490d31b0ca23f116cb07830329596a4e29ba89b53e0d635dd6428ad52
developer-guide-html Expired
99.4 MB
sha256:7cd084b8a4270c9d72201d3647f0b852ec0fb5332827bc3be6cfb5a1ded6fe09
developer-guide-pdf Expired
42.9 MB
sha256:fba4316a5f956e5c55f6195fb4ca9740c770c3b029bb0aeb2443bd6318b51529
developer-guide-unused-images Expired
3.44 KB
sha256:e5285b2be84582baaa552bb4f5614edda488df59be532a1d617ed22c8dbc9a27
developer-guide-vale-report Expired
329 KB
sha256:6b8cf1b57b9a5e4c11b5e87f034062f65600ea46cebbd17df99af3b5b98b6c7a