Skip to content
Auto label PRs

Use a Timings* in place of optional<Timings>* #404

Sign in to view logs

Use a Timings* in place of optional<Timings>*

Use a Timings* in place of optional<Timings>* #404

Triggered via pull request November 29, 2024 17:59
@danakjdanakj
opened #4607
Status Success
Total duration 22s
Artifacts –

auto_label_prs.yaml

on: pull_request_target
assign_reviewer
13s
assign_reviewer
Fit to window
Zoom out
Zoom in