Skip to content

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

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

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

Triggered via push September 4, 2025 10:31
Status Success
Total duration 1m 50s
Artifacts

__rust.yml

on: push
Matrix: Rust analysis
Fit to window
Zoom out
Zoom in