Display Linux variant at ./configure time (#1928) #36

Job	Run time
build-tests(ubuntu-22.04,gcc,default)	11m 17s
build-tests(ubuntu-22.04,gcc,minimal)	5m 52s
build-tests(ubuntu-22.04,gcc,maximus)	12m 40s
functionality-tests	17m 13s
build-tests(ubuntu-22.04,clang,default)	12m 38s
CodeQL-tests	23m 58s
build-tests(ubuntu-22.04,clang,minimal)	7m 28s
build-tests(ubuntu-22.04,clang,maximus)	15m 6s
source-maintenance-tests	2m 47s
	1h 48m 59s

Provide feedback