linux-riscv64 #1003

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

Provide feedback