Skip to content

[Merged by Bors] - style: remove unnecessary <| #15161

[Merged by Bors] - style: remove unnecessary <|

[Merged by Bors] - style: remove unnecessary <| #15161

Triggered via pull request July 5, 2023 05:26
Status Success
Total duration 33s
Artifacts

detect_sha_changes.yml

on: pull_request
Add annotations
23s
Add annotations
Fit to window
Zoom out
Zoom in