linux-x64

linux-x64 #1416

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linux-x64-avy	4s
linux-x64-btor2tools	4s
linux-x64-abc	4s
linux-x64-cadical	4s
linux-x64-cvc4	14s
linux-x64-ghdl	9s
linux-x64-graphviz	54s
linux-x64-gtkwave	10s
linux-x64-icestorm	6s
linux-x64-imctk	5s
linux-x64-iverilog	5s
linux-x64-libpoly	4s
linux-x64-lingeling	9s
linux-x64-nextpnr-bba	5s
linux-x64-openfpgaloader	10s
linux-x64-picosat	3s
linux-x64-prjoxide	9s
linux-x64-prjtrellis	5s
linux-x64-prjtrellis-bba	13s
linux-x64-python2-native	30s
linux-x64-python3-native	23s
linux-x64-symfpu	5s
linux-x64-system-resources	4s
linux-x64-utils	42s
linux-x64-verilator	6m 11s
linux-x64-yices	11s
linux-x64-z3	14m 13s
linux-x64-yosys	6s
linux-x64-aiger	5s
linux-x64-icestorm-bba	9s
linux-x64-boolector	6s
linux-x64-prjoxide-bba	6s
linux-x64-cvc5	9s
linux-x64-bitwuzla	5s
linux-x64-ghdl-yosys-plugin	11s
linux-x64-yosys-slang-plugin	10s
linux-x64-eqy	5s
linux-x64-python3	35s
linux-x64-smt-switch	6s
linux-x64-python2	20s
linux-x64-pono	7s
linux-x64-nextpnr-generic	17s
linux-x64-formal	24s
linux-x64-apicula	9s
linux-x64-cocotb	9s
linux-x64-nextpnr-ecp5	19s
linux-x64-nextpnr-ice40	18s
linux-x64-nextpnr-machxo2	24s
linux-x64-nextpnr-nexus	12s
linux-x64-pyhdl	1m 45s
linux-x64-python-programmers	10s
linux-x64-xdot	16s
linux-x64-suprove	13s
linux-x64-apicula-bba	9s
linux-x64-nextpnr-himbaechel	11s
linux-x64-default	5m 17s
	37m 49s