linux-x64

linux-x64 #897

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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