Skip to content

[notes] Rework getting the number of the origin PR for cherry-picks #919

[notes] Rework getting the number of the origin PR for cherry-picks

[notes] Rework getting the number of the origin PR for cherry-picks #919

Triggered via pull request September 12, 2024 09:11
Status Success
Total duration 3m 29s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in