linux-riscv64 #965

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

Provide feedback