CI: Fix deploy job to leave download directory in place
Currently, because of the mirror
option is used, the download
directory gets removed automatically. This needs to be fixed.
Currently, because of the mirror
option is used, the download
directory gets removed automatically. This needs to be fixed.