Remove the docker_build directory and its contents #778
Description
The directory used to support a Jenkins test infrastructure, but this is now obsolete.
{{ message }}
The directory used to support a Jenkins test infrastructure, but this is now obsolete.