Skip to content

Merge pull request #18918 from lazka/ruff-0.1.1 #677

Merge pull request #18918 from lazka/ruff-0.1.1

Merge pull request #18918 from lazka/ruff-0.1.1 #677

Triggered via push October 21, 2023 11:34
Status Skipped
Total duration 4s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
update-srcinfo
0s
update-srcinfo
upload-srcinfo
0s
upload-srcinfo
Fit to window
Zoom out
Zoom in