Skip to content
Build Developer Guide Docs

Extract developer guide report summaries to script #41

Sign in to view logs

Extract developer guide report summaries to script

Extract developer guide report summaries to script #41

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

developer-guide-docs.yml

on: pull_request
build
6m 29s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
developer-guide-asciidoc-lint Expired
450 Bytes
sha256:dc7454c7fea1e48cf41d52847629accb02e955bb01c71761c2b3514f06103d30
developer-guide-html Expired
99.4 MB
sha256:5e9d95bebb24f83d72704c2d652aaad7407ddb6fd3a14b105a2b02be1a44ab67
developer-guide-pdf Expired
42.9 MB
sha256:2008f0b1bdfe3d771dd156634df36a5b83d6647f5d4b30c5a42aefc6e7dd8e6c
developer-guide-unused-images Expired
3.44 KB
sha256:3da4aee8950f94f4da7ab5e6dd533445fa61349694603778a6d3dbd4e55faf3a
developer-guide-vale-report Expired
515 KB
sha256:018b3cc3a38eb59763039f98f63ed01ef59bbd2edc76ca9562b8cbec9077f0d1