+ ls /root/workspace/mizar/ mizar mizar_2025-03-14_15-10-28 mizar_2025-03-14_15-10-28.zip mizar@tmp version.json