Warning: Permanently added '2620:52:6:1161:dead:beef:cafe:c14e' (ED25519) to the list of known hosts. receiving incremental file list ./ build.log.gz chroot_scan.tar.gz configs.tar.gz hw_info.log.gz lean4-4.27.0-0.rc1.fc44.ppc64le.rpm lean4-4.27.0-0.rc1.fc44.src.rpm lean4.spec results.json root.log.gz state.log.gz success sent 240 bytes received 544,172,343 bytes 72,556,344.40 bytes/sec total size is 544,038,672 speedup is 1.00