Skip to content

Enable unused_crate_dependencies Rust lint, remove unused dependencies #11280

Enable unused_crate_dependencies Rust lint, remove unused dependencies

Enable unused_crate_dependencies Rust lint, remove unused dependencies #11280

Triggered via pull request December 2, 2024 09:46
Status Success
Total duration 16m 51s
Artifacts

miri.yaml

on: pull_request
Fit to window
Zoom out
Zoom in