status: 2023q1: drm-drivers: corrections, suggestions #44
Triggered via pull request
March 31, 2023 20:07
grahamperrin
opened
#146
Status
Success
Total duration
13s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
label-pull-requests.yml
on: pull_request_target
label-pull-requests
4s