Skip to content
Build Developer Guide Docs

Extract developer guide report summaries to script #39

Sign in to view logs

Extract developer guide report summaries to script

Extract developer guide report summaries to script #39

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

developer-guide-docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
developer-guide-asciidoc-lint Expired
450 Bytes
sha256:be38c9f092c34c7b6c95e9f62c12fb33aa943ea2ae25c5da5ab78138bbf03a17
developer-guide-html Expired
99.4 MB
sha256:36418add4e9b74d150ccfcec08bbd28920018163c3d214da688fd9083eacf04d
developer-guide-pdf Expired
42.9 MB
sha256:87ca7be89ba3a09c589668d8e08be1fcf7980975237b0a31186db46de1674843
developer-guide-unused-images Expired
3.44 KB
sha256:b9010a1ddcce950bf65a9c34157a275e7e2126a2a254244962588a060d58281f
developer-guide-vale-report Expired
330 KB
sha256:4f47ac55683338e9419324419fca18aabd84213c1f26893ee48cfe827aa7190e