linux-riscv64 #1012

Job	Run time
linux-riscv64-icestorm	5s
linux-riscv64-python3	50s
linux-riscv64-dfu-util	7s
linux-riscv64-ecpprog	8s
linux-riscv64-graphviz	15s
linux-riscv64-prjoxide	11s
linux-riscv64-prjtrellis	8s
linux-riscv64-openfpgaloader	2m 15s
linux-riscv64-yosys	11s
linux-riscv64-cadical	8s
linux-riscv64-avy	9s
linux-riscv64-cvc4	17s
linux-riscv64-btor2tools	11s
linux-riscv64-libpoly	8s
linux-riscv64-lingeling	13s
linux-riscv64-mcy	10s
linux-riscv64-picosat	9s
linux-riscv64-python2	28s
linux-riscv64-yices	6s
linux-riscv64-z3	11s
linux-riscv64-ecpdap	6s
linux-riscv64-gtkwave	8s
linux-riscv64-iceprogduino	9s
linux-riscv64-fujprog	7s
linux-riscv64-icesprog	8s
linux-riscv64-iverilog	9s
linux-riscv64-openocd	9s
linux-riscv64-sby	9s
linux-riscv64-sby-gui	4s
linux-riscv64-system-resources	44s
linux-riscv64-utils	9s
linux-riscv64-verilator	11m 13s
linux-riscv64-cvc5	14s
linux-riscv64-aiger	6s
linux-riscv64-eqy	9s
linux-riscv64-bitwuzla	8s
linux-riscv64-boolector	12s
linux-riscv64-suprove	6s
linux-riscv64-smt-switch	8s
linux-riscv64-nextpnr-generic	12s
linux-riscv64-nextpnr-gowin	10s
linux-riscv64-nextpnr-ecp5	26s
linux-riscv64-flask	12s
linux-riscv64-nextpnr-ice40	24s
linux-riscv64-nextpnr-machxo2	20s
linux-riscv64-nextpnr-nexus	14s
linux-riscv64-numpy	18s
linux-riscv64-python-programmers	7s
linux-riscv64-xdot	7s
linux-riscv64-cocotb	6s
linux-riscv64-mau	8s
linux-riscv64-pyhdl	15s
linux-riscv64-scy	11s
linux-riscv64-pono	15s
linux-riscv64-apicula	9s
linux-riscv64-default	5m 30s
	29m 42s

Provide feedback