main

Port latest FOEDAG_rs and yosys_verific_rs #8088

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ClangTidy	0s
centos7-test	1h 4m 55s
CodeFormatting	12s
centos7-regression	1h 3m 36s
ubuntu-test	50m 37s
centos7-production	1h 20m 22s
macos-clang	0s
ubuntu-test/batch	18m 25s
macos-gcc	0s
ubuntu-test/batch_gen2	18m 42s
ubuntu-regression	18m 38s
windows-msvc	0s
msys2-gcc	0s
ubuntu-install	18m 4s
ubuntu-valgrind	1h 45m 3s
ubuntu-production	1h 11m 35s
ubuntu-solver	17m 21s
	8h 47m 30s