Install the right toolchain for HEAD and BASE checks in verify-std-check.yml#3920

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

remi-delmas-3000:rustup-head-baseremi-delmas-3000/kani:rustup-head-baseCopy head branch name to clipboard