Warning: Permanently added '52.207.244.51' (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.fc40.aarch64.rpm lean4-rc-4.8.0~rc2-1.fc40.src.rpm lean4-rc-default-4.8.0~rc2-1.fc40.aarch64.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-40-aarch64-1716624726.108687/ chroot_scan/var/lib/mock/fedora-40-aarch64-1716624726.108687/root/ chroot_scan/var/lib/mock/fedora-40-aarch64-1716624726.108687/root/var/ chroot_scan/var/lib/mock/fedora-40-aarch64-1716624726.108687/root/var/log/ chroot_scan/var/lib/mock/fedora-40-aarch64-1716624726.108687/root/var/log/dnf5.log sent 295 bytes received 180,596,311 bytes 120,397,737.33 bytes/sec total size is 180,551,012 speedup is 1.00