linux-x64

linux-x64 #935

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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