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

Triggered via pull request July 17, 2025 14:01

closed #7002

Status Success

Total duration 17s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

record_pr.yml

on: pull_request

Produced during runtime

Name	Size	Digest
pr Expired	3.78 KB	`sha256:8d6972167778de344bec2051d79593f3d3bca1638849d6615803fcf1d31d8790`