Merge branch 'main' into ip_catalog_oct_24 #8428

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ubuntu-Debug	2h 9m 27s
CentOS-Production	1h 51m 0s
Ubuntu-Production	1h 42m 36s
CentOS-Release	1h 23m 19s
Ubuntu-Release	1h 40m 33s
CodeFormatting	15s
macos-clang	0s
macos-gcc	0s
msys2-gcc	0s
windows-msvc	0s
ClangTidy	0s
centos7.9-test/int_batch	5m 9s
ubuntu-test/int_batch	5m 22s
ubuntu-test/int_batch_gen2	4m 29s
ubuntu-test/int_solver	4m 26s
ubuntu-test/int_install	5m 25s
ubuntu-test/int_production	6m 18s
deploy	7m 53s
ubuntu-test/int_dgui	8m 20s
ubuntu-test/int_dgui2	7m 13s
ubuntu-test/int_valgrind	8m 48s
	9h 50m 33s