Skip to content

Merge pull request #3126 from github/mbg/add/properties-api #1315

Merge pull request #3126 from github/mbg/add/properties-api

Merge pull request #3126 from github/mbg/add/properties-api #1315

Triggered via push September 23, 2025 09:17
Status Success
Total duration 2m 13s
Artifacts

__rust.yml

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