Port latest Yosys-verific-rs #8518

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
CentOS-Release	1h 27m 20s
CentOS-Production	1h 58m 44s
Ubuntu-Debug	2h 12m 24s
Ubuntu-Production	1h 33m 39s
Ubuntu-Release	1h 44m 27s
ClangTidy	11m 49s
CodeFormatting	12s
macos-clang	0s
macos-gcc	0s
msys2-gcc	0s
windows-msvc	0s
centos7.9-test/int_batch	5m 54s
ubuntu-test/int_production	6m 2s
ubuntu-test/int_batch	5m 29s
ubuntu-test/int_batch_gen2	6m 15s
ubuntu-test/int_solver	8m 17s
ubuntu-test/int_install	5m 12s
deploy	8m 31s
ubuntu-test/int_dgui	7m 35s
ubuntu-test/int_dgui2	11m 27s
ubuntu-test/int_valgrind	5m 59s
	10h 19m 16s