Skip to content

Rust: remove unnecessary uses of dynamic dispatch #359

Rust: remove unnecessary uses of dynamic dispatch

Rust: remove unnecessary uses of dynamic dispatch #359

Triggered via push November 26, 2024 22:07
Status Success
Total duration 1m 35s
Artifacts
Build and cache rust code
1m 26s
Build and cache rust code
Fit to window
Zoom out
Zoom in