Skip to content
Record PR details

chore(ci): add a new workflow to build docs in new PRs #26017

Sign in to view logs

chore(ci): add a new workflow to build docs in new PRs

chore(ci): add a new workflow to build docs in new PRs #26017

Triggered via pull request July 17, 2025 12:04
@pull-request-sizepull-request-size[bot]
labeled #7002
ci/add-docs-build-workflow
Status Success
Total duration 18s
Artifacts 1

record_pr.yml

on: pull_request
record_pr
8s
record_pr
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
pr Expired
3.98 KB
sha256:492fba2b8c5047172032e2172a3cb88d634e53dfc4fa508fcbd43a97d976b2b3