Writing zip file of /media/data/jenkins/workspace/isabelle-dump/dump to /media/data/jenkins/workspace/isabelle-dump/dump.zip Zipped 45886 entries. Archiving /media/data/jenkins/workspace/isabelle-dump/dump.zip
![[Jenkins]](/jenkins/static/77e8e0f1/images/svgs/logo.svg){kind=logo}
