linux-riscv64 #1010

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

Provide feedback