darwin-x64 #1256

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
darwin-x64-avy	11s
darwin-x64-btor2tools	6s
darwin-x64-cadical	9s
darwin-x64-cvc4	9s
darwin-x64-ghdl	1m 43s
darwin-x64-gtkwave	10s
darwin-x64-iverilog	8s
darwin-x64-icestorm	7s
darwin-x64-graphviz	18s
darwin-x64-libpoly	6s
darwin-x64-lingeling	10s
darwin-x64-openfpgaloader	6s
darwin-x64-picosat	5s
darwin-x64-prjoxide	11s
darwin-x64-prjtrellis	7s
darwin-x64-python3	19s
darwin-x64-system-resources	5s
darwin-x64-utils	10s
darwin-x64-verilator	9m 0s
darwin-x64-yices	7s
darwin-x64-yosys	8s
darwin-x64-z3	14m 24s
darwin-x64-aiger	6s
darwin-x64-cvc5	8s
darwin-x64-bitwuzla	8s
darwin-x64-boolector	6s
darwin-x64-eqy	5s
darwin-x64-nextpnr-generic	7s
darwin-x64-xdot	15s
darwin-x64-formal	13s
darwin-x64-nextpnr-ice40	16s
darwin-x64-apicula	9s
darwin-x64-cocotb	21s
darwin-x64-nextpnr-ecp5	14s
darwin-x64-nextpnr-himbaechel	9s
darwin-x64-nextpnr-nexus	13s
darwin-x64-nextpnr-machxo2	13s
darwin-x64-pyhdl	12s
darwin-x64-python-programmers	10s
darwin-x64-smt-switch	6s
darwin-x64-pono	7s
darwin-x64-ghdl-yosys-plugin	1m 40s
darwin-x64-default	3m 56s
	36m 53s