Warning: Permanently added '3.93.183.138' (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.17.0-1.fc43.src.rpm lean4-4.17.0-1.fc43.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 310,724,601 bytes 124,289,985.20 bytes/sec total size is 310,647,432 speedup is 1.00