CI Ubuntu

Move correctness checks on syncstage and syncaccess to checkCorrectness #1179

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-20.04, g++-10)	49m 18s
build (ubuntu-22.04, g++-10)	48m 12s
build (ubuntu-20.04, clang++-10)	2h 10m 14s
build (ubuntu-20.04, clang++-11)	1h 50m 6s
build (ubuntu-20.04, clang++-12)	1h 55m 44s
build (ubuntu-22.04, clang++-13)	1h 4m 53s
build (ubuntu-22.04, clang++-14)	1h 9m 5s
build (ubuntu-22.04, clang++-15)	1h 3m 31s
build (ubuntu-22.04, g++-11)	1h 1m 23s
build (ubuntu-22.04, g++-12)	1h 33m 46s
	13h 26m 12s