linux-riscv64 #944

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

Provide feedback