I just ran a synthesis of their include demo Blinky and it ended with:

End of script. Logfile hash: 00b456ea46, CPU: user 3.19s system 0.13s Yosys 0.10.0 (git sha1 a743417f0, clang 12.0.0 -fPIC -Os) Time spent: 63% 17x read_verilog (2 sec), 6% 1x synth_xilinx (0 sec), ...

11/21/21 12:03 PM > Finished running Yosys with status: 0

(!!!)