Skip to content

Make sure CI runs with --locked#2022

Merged
ehuss merged 1 commit intorust-lang:masterfrom
ehuss:ci-locked
Feb 13, 2023
Merged

Make sure CI runs with --locked#2022
ehuss merged 1 commit intorust-lang:masterfrom
ehuss:ci-locked

Commits

Commits on Feb 13, 2023