Skip to content

Merge pull request #3272 from github/mario-campos/v4-warning #1836

Merge pull request #3272 from github/mario-campos/v4-warning

Merge pull request #3272 from github/mario-campos/v4-warning #1836

Triggered via push November 5, 2025 16:01
Status Success
Total duration 1m 49s
Artifacts

__rust.yml

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