Bump patch version #8515

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ubuntu-Debug	2h 12m 25s
CentOS-Release	1h 24m 35s
Ubuntu-Production	1h 31m 29s
CentOS-Production	2h 16m 19s
Ubuntu-Release	1h 41m 7s
ClangTidy	0s
CodeFormatting	14s
macos-clang	0s
macos-gcc	0s
msys2-gcc	0s
windows-msvc	0s
centos7.9-test/int_batch	7m 28s
ubuntu-test/int_production	14m 58s
ubuntu-test/int_batch	8m 50s
ubuntu-test/int_batch_gen2	8m 7s
ubuntu-test/int_solver	6m 24s
ubuntu-test/int_install	10m 15s
ubuntu-test/int_dgui	8m 59s
ubuntu-test/int_dgui2	7m 9s
ubuntu-test/int_valgrind	6m 40s
deploy	11m 33s
	10h 36m 32s