Skip to content
PR Subscriber

[Serialization] Record whether the ODR is skipped #23519

Sign in to view logs

[Serialization] Record whether the ODR is skipped

[Serialization] Record whether the ODR is skipped #23519

Triggered via pull request February 20, 2024 03:44
@llvmbotllvmbot
labeled #82302
Status Success
Total duration 18s
Artifacts –

pr-subscriber.yml

on: pull_request_target
auto-subscribe
9s
auto-subscribe
Fit to window
Zoom out
Zoom in