Skip to content

Merge pull request #20800 from github/redsun82/remove-macos-13 #33913

Merge pull request #20800 from github/redsun82/remove-macos-13

Merge pull request #20800 from github/redsun82/remove-macos-13 #33913

Triggered via push November 10, 2025 09:16
Status Success
Total duration 1h 38m 54s
Artifacts
compile-queries
1h 38m
compile-queries
Fit to window
Zoom out
Zoom in