Warning: Permanently added '107.22.152.60' (ED25519) to the list of known hosts. receiving incremental file list ./ build.log.gz configs.tar.gz hw_info.log.gz lean4-rc-4.8.0~rc2-1.fc41.src.rpm lean4-rc-4.8.0~rc2-1.fc41.x86_64.rpm lean4-rc-default-4.8.0~rc2-1.fc41.x86_64.rpm lean4-rc.spec results.json root.log.gz state.log.gz success chroot_scan/ chroot_scan/var/ chroot_scan/var/lib/ chroot_scan/var/lib/mock/ chroot_scan/var/lib/mock/fedora-rawhide-x86_64-1716611942.686012/ chroot_scan/var/lib/mock/fedora-rawhide-x86_64-1716611942.686012/root/ chroot_scan/var/lib/mock/fedora-rawhide-x86_64-1716611942.686012/root/var/ chroot_scan/var/lib/mock/fedora-rawhide-x86_64-1716611942.686012/root/var/log/ chroot_scan/var/lib/mock/fedora-rawhide-x86_64-1716611942.686012/root/var/log/dnf5.log sent 295 bytes received 186,624,960 bytes 124,416,836.67 bytes/sec total size is 186,578,169 speedup is 1.00