main

Updating yosys_verific_rs #8472

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ubuntu-Debug	2h 8m 23s
CentOS-Release	1h 25m 46s
Ubuntu-Production	1h 53m 52s
CentOS-Production	1h 51m 47s
Ubuntu-Release	1h 42m 43s
ClangTidy	0s
CodeFormatting	12s
macos-clang	0s
macos-gcc	0s
msys2-gcc	0s
windows-msvc	0s
centos7.9-test/int_batch	5m 38s
ubuntu-test/int_batch	8m 41s
ubuntu-test/int_batch_gen2	5m 29s
ubuntu-test/int_solver	5m 35s
ubuntu-test/int_install	7m 40s
deploy	9m 9s
ubuntu-test/int_production	4m 40s
ubuntu-test/int_dgui	9m 9s
ubuntu-test/int_dgui2	9m 25s
ubuntu-test/int_valgrind	10m 12s
	10h 18m 21s