Skip to content

Merge pull request #1341 from wingtk/ninja-1.12.1 #591

Merge pull request #1341 from wingtk/ninja-1.12.1

Merge pull request #1341 from wingtk/ninja-1.12.1 #591

Triggered via push May 13, 2024 19:50
Status Success
Total duration 22s
Artifacts
update-release-draft
13s
update-release-draft
Fit to window
Zoom out
Zoom in