Skip to content
Build Developer Guide Docs

Extract developer guide report summaries to script #44

Sign in to view logs

Extract developer guide report summaries to script

Extract developer guide report summaries to script #44

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

developer-guide-docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
developer-guide-asciidoc-lint Expired
423 Bytes
sha256:27148d0ce9923ab9a1967ccb09fa36de67c678836c657ae711d9f8bd1f5e4940
developer-guide-html Expired
99.4 MB
sha256:011e6955eb9fee81047ae065aebdf7e1e16faa195bf61976ef0ca312b2bf9b26
developer-guide-pdf Expired
43.3 MB
sha256:f4b4d1e9b098816dd6ce7e22cd860bdd04f54dbb557ab652e707efd758a86de2
developer-guide-unused-images Expired
3.44 KB
sha256:496e91768a0192d7b2e30683be5084dc9d89103755c16b364305d7ed75b1f38c
developer-guide-vale-report Expired
515 KB
sha256:9473d1a8d4c92081c25fe8e36660d0dbc8897de0abbffd2abeffad1debd84791