Skip to content

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

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

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

Triggered via pull request September 12, 2024 07:46
Status Success
Total duration 3m 40s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in