Skip to content

Merge pull request #3075 from github/mbg/remove-augmentation-properties #6144

Merge pull request #3075 from github/mbg/remove-augmentation-properties

Merge pull request #3075 from github/mbg/remove-augmentation-properties #6144

Triggered via push September 4, 2025 10:31
Status Success
Total duration 3m 48s
Artifacts
Matrix: Code Scanning Configuration tests
Fit to window
Zoom out
Zoom in