Compress /media/data/jenkins/workspace/isabelle-dump/dump to /media/data/jenkins/workspace/isabelle-dump/dump.zip Compressed 65143 entries. Archiving /media/data/jenkins/workspace/isabelle-dump/dump.zip
![[Jenkins]](/jenkins/static/f7776f3e/images/svgs/logo.svg){kind=logo}
