Writing zip file of /media/data/jenkins/workspace/isabelle-dump/dump to /media/data/jenkins/workspace/isabelle-dump/dump.zip Zipped 47420 entries. Archiving /media/data/jenkins/workspace/isabelle-dump/dump.zip