Skip to content

Use our toolchain when invoking cargo metadata - #4090

Merged
carolynzech merged 2 commits into
model-checking:mainfrom
carolynzech:cargo-metadata-toolchain
May 23, 2025
Merged

Use our toolchain when invoking cargo metadata#4090
carolynzech merged 2 commits into
model-checking:mainfrom
carolynzech:cargo-metadata-toolchain

only use env!(CARGO) for development run

c314879
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs