Skip to content

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

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

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

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