Warning: Permanently added '13.217.41.158' (ED25519) to the list of known hosts.
receiving incremental file list
results.json
success
yosys-0.58-20251009.0.git9a12d925.src.rpm
yosys.spec

sent 100 bytes  received 19,504 bytes  39,208.00 bytes/sec
total size is 19,167  speedup is 0.98