Skip to content

Capture and upload cargo --timings for ci builds - #5643

Merged
joshua-spacetime merged 2 commits into
masterfrom
joshua/ci/cargo-timigs
Aug 1, 2026
Merged

Capture and upload cargo --timings for ci builds#5643
joshua-spacetime merged 2 commits into
masterfrom
joshua/ci/cargo-timigs

Commits