linux-riscv64 #1019

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

Provide feedback