Skip to content

tools: do not use temp files when merging PRs #4830

tools: do not use temp files when merging PRs

tools: do not use temp files when merging PRs #4830

Triggered via push April 10, 2025 22:37
Status Success
Total duration 36s
Artifacts
Notify on Force Push on `main`
0s
Notify on Force Push on `main`
Notify on Push on `main` that lacks metadata
29s
Notify on Push on `main` that lacks metadata
Fit to window
Zoom out
Zoom in