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

Triggered via pull request July 17, 2025 12:04

labeled #7002

Status Success

Total duration 10s

Artifacts 1

record_pr.yml

on: pull_request

Produced during runtime

Name	Size	Digest
pr Expired	3.82 KB	`sha256:d55daf17916ae820f7ba068d5deb82e351da4f219c7bf79449884f7f0aab4dab`