Skip to content
Build Developer Guide Docs

Query GitHub API when determining release version #100

Sign in to view logs

Query GitHub API when determining release version

Query GitHub API when determining release version #100

Triggered via pull request November 3, 2025 02:41
@shai-almogshai-almog
synchronize #4091
codex/update-documentation-publish-process
Status Success
Total duration 6m 31s
Artifacts 5

developer-guide-docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
developer-guide-asciidoc-lint Expired
164 Bytes
sha256:a7b93000f2fc10dcb23a2e9127db85a85a6d23473f8b44a3637b52ce98fd4892
developer-guide-html Expired
56.3 MB
sha256:c0a7d4a7abbd508070f609120fd7b40f638db006a6f250c1038670b5069180f6
developer-guide-pdf Expired
43.4 MB
sha256:83fb27c686081c25c639c5fd5f248ef23ea534e689241a85963a9337ec6ed662
developer-guide-unused-images Expired
329 Bytes
sha256:76daee0eda2b1f1a6cbe45feaea025f3e7c7ac6062e21caa4ac4085ad895ef01
developer-guide-vale-report Expired
521 KB
sha256:db52bc1cbfc640facca9267e9b97a4f571adad5237d8a425a9730c5c7a04ac1d