Skip to content

Merge pull request #3501 from github/mbg/ci/dont-label-merged #7611

Merge pull request #3501 from github/mbg/ci/dont-label-merged

Merge pull request #3501 from github/mbg/ci/dont-label-merged #7611

Triggered via push February 23, 2026 15:41
Status Success
Total duration 3m 53s
Artifacts
Matrix: Code Scanning Configuration tests
Fit to window
Zoom out
Zoom in