ci: move /var/lib/docker to /mnt on GHA#70847

Merged

bors merged 1 commit intorust-lang:masterfrom

pietroalbini:ci-move-docker-lib

Apr 8, 2020

Commits on Apr 6, 2020

ci: move /var/lib/docker to /mnt on GHA
pietroalbini
committed