Warning: Permanently added '44.204.168.91' (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.13.0-4.fc39.src.rpm lean4-4.13.0-4.fc39.x86_64.rpm lean4.spec results.json root.log.gz state.log.gz success fedora-review/ fedora-review/fedora-review.log fedora-review/files.dir fedora-review/licensecheck.txt fedora-review/review.json fedora-review/review.txt fedora-review/rpmlint.txt sent 362 bytes received 248,723,324 bytes 165,815,790.67 bytes/sec total size is 248,661,291 speedup is 1.00