Build on various Operating Systems

Updated precision of correlation #467

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
arch_linux	8m 26s
arch_linux_valgrind	9m 16s
debian_stable	8m 34s
arch_linux_asan	1m 42s
opensuse_leap	8m 27s
opensuse_tumbleweed_clang	7m 35s
windows_mingw64	2m 43s
	46m 43s