commit | eb0e14d18790c4795e89653ce096c0a4168208ff | [log] [tgz] |
---|---|---|
author | Ash Berlin-Taylor <ash_github@firemirror.com> | Mon Mar 01 11:10:58 2021 +0000 |
committer | GitHub <noreply@github.com> | Mon Mar 01 11:10:58 2021 +0000 |
tree | 11d169479f1bafb8fcfc7e18f4294782d10ba80e | |
parent | ecaa76ea8c4c351a2001ae3dd150e6edbcbe19d5 [diff] |
Remove left-over docker containers before fixing permissions (#5) If the docker container is still running and creating files (as might be the case for the prod image builds) then some files could be left uncleaned, causing the next job to fail.