linux-x64

linux-x64 #930

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linux-x64-bison	6s
linux-x64-avy	7s
linux-x64-btor2tools	5s
linux-x64-abc	13s
linux-x64-cadical	11s
linux-x64-cvc4	22s
linux-x64-dfu-util	9s
linux-x64-ecpdap	9s
linux-x64-ecpprog	9s
linux-x64-fujprog	16s
linux-x64-ghdl	16s
linux-x64-graphviz	18s
linux-x64-gtkwave	12s
linux-x64-iceprogduino	10s
linux-x64-icesprog	15s
linux-x64-icestorm	10s
linux-x64-iverilog	14s
linux-x64-libpoly	9s
linux-x64-lingeling	6s
linux-x64-mcy	6s
linux-x64-nextpnr-bba	8s
linux-x64-openfpgaloader	10s
linux-x64-openocd	10s
linux-x64-picosat	6s
linux-x64-prjoxide	13s
linux-x64-prjtrellis	9s
linux-x64-prjtrellis-bba	29s
linux-x64-python2	40s
linux-x64-python3	52s
linux-x64-sby	11s
linux-x64-sby-gui	6s
linux-x64-symfpu	11s
linux-x64-system-resources	5s
linux-x64-utils	14s
linux-x64-verilator	12m 31s
linux-x64-yices	14s
linux-x64-z3	26m 1s
linux-x64-icestorm-bba	15s
linux-x64-boolector	8s
linux-x64-yosys	14s
linux-x64-aiger	10s
linux-x64-prjoxide-bba	9s
linux-x64-cvc5	25s
linux-x64-bitwuzla	8s
linux-x64-eqy	13s
linux-x64-ghdl-yosys-plugin	10s
linux-x64-suprove	14s
linux-x64-smt-switch	9s
linux-x64-nextpnr-ice40	29s
linux-x64-cocotb	9s
linux-x64-nextpnr-ecp5	25s
linux-x64-nextpnr-generic	9s
linux-x64-flask	9s
linux-x64-nextpnr-machxo2	18s
linux-x64-nextpnr-nexus	24s
linux-x64-numpy	16s
linux-x64-pyhdl	14s
linux-x64-python-programmers	15s
linux-x64-xdot	14s
linux-x64-mau	13s
linux-x64-scy	11s
linux-x64-pono	14s
linux-x64-apicula	13s
linux-x64-apicula-bba	10s
linux-x64-nextpnr-gowin	15s
linux-x64-default	5m 55s
	58m 41s