ci

Implemented new restart strategy in statistics: #599

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (Release, linux gnu-10)	20m 33s
ci (Release, linux gnu-12)	22m 34s
ci (Release, linux clang-14)	22m 1s
	1h 5m 8s