Skip to content

CI: use different nightlies again#84

Merged
ojeda merged 1 commit into
rustfrom
rust-ci
Feb 11, 2021
Merged

CI: use different nightlies again#84
ojeda merged 1 commit into
rustfrom
rust-ci

Commits

Commits on Feb 11, 2021