Skip to content
Build Developer Guide Docs

Query GitHub API when determining release version #99

Sign in to view logs

Query GitHub API when determining release version

Query GitHub API when determining release version #99

Triggered via pull request November 2, 2025 02:45
@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 28s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
developer-guide-asciidoc-lint Expired
164 Bytes
sha256:a58e0844c14b372f66a44051f5a3f136458fac8242d0f84d31a233414aa56287
developer-guide-html Expired
56.3 MB
sha256:1bc274ad22896219e8fdc4b509944cbe537bdfc7b66ba794d6828b2b36adfbf1
developer-guide-pdf Expired
43.4 MB
sha256:d46007588d840850d9a302d146ecf383bc41d77e7fd1556c7cb9b039a927a042
developer-guide-unused-images Expired
329 Bytes
sha256:e68f8589ddc05cd35b407e0337b5e77fe7a7a36cbe8f6f16fcfe08ad7cf80eea
developer-guide-vale-report Expired
521 KB
sha256:e8844acdf61e55b358602f3f36569392bbef579c7469338c3b3f386353c0072c