Deployed documentation is deleted upon failing master pipeline
In essence, this is due to the procedure described in #85 (closed).
Fixing this can be achieved either via #85 (closed) or by adjusting the deploy:stop_docs
job to not be carried out on master.