Skip to content

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

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

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

Triggered via push September 4, 2025 10:31
Status Success
Total duration 4m 14s
Artifacts
Matrix: Local CodeQL bundle
Fit to window
Zoom out
Zoom in