Skip to content

ci: avoid moving the build directory on GHA#76564

Merged
bors merged 1 commit intorust-lang:masterfrom
pietroalbini:ci-avoid-wasting-10-minutes
Sep 10, 2020
Merged

ci: avoid moving the build directory on GHA#76564
bors merged 1 commit intorust-lang:masterfrom
pietroalbini:ci-avoid-wasting-10-minutes

Commits

Commits on Sep 10, 2020