Skip to content

ci: fix wrong shared.sh import for publish_toolstate#68003

Merged
bors merged 1 commit intorust-lang:masterfrom
pietroalbini:yet-another-toolstate-fix
Jan 8, 2020
Merged

ci: fix wrong shared.sh import for publish_toolstate#68003
bors merged 1 commit intorust-lang:masterfrom
pietroalbini:yet-another-toolstate-fix

Commits

Commits on Jan 8, 2020