Warning: Permanently added '54.145.32.31' (ED25519) to the list of known hosts.
receiving incremental file list
./
lean4-plausible-0^20261012gitdfa4f38-2.src.rpm
lean4-plausible.spec
plausible-dfa4f38190d07c37e315953e08b90fe2d95b3c24.commit -> /var/lib/copr-rpmbuild/workspace/workdir-buh6nsy7/neurofedora/plausible-dfa4f38190d07c37e315953e08b90fe2d95b3c24.commit
plausible-dfa4f38190d07c37e315953e08b90fe2d95b3c24.tar.gz
results.json
success

sent 129 bytes  received 101,347 bytes  67,650.67 bytes/sec
total size is 100,788  speedup is 0.99