Merge pull request #488 from isuruf/ver #334

# to view logs

Job	Run time
build (Debug, yes, 3.12, yes, ubuntu-20.04, gcc)	3m 29s
build (Debug, yes, 3.11, yes, ubuntu-20.04, gcc)	3m 26s
build (Debug, yes, 3.10, yes, ubuntu-20.04, gcc)	3m 23s
build (Debug, yes, 3.9, yes, ubuntu-20.04, gcc)	3m 24s
build (Release, 3.8, yes, ubuntu-20.04, gcc)	4m 19s
build (Release, 3.8, yes, gmpxx, no, ubuntu-20.04, gcc)	4m 36s
build (Release, 3.8, yes, ubuntu-20.04, gcc)	4m 41s
build (Release, yes, 3.8, ubuntu-20.04, gcc)	4m 23s
build (Release, 3.9, yes, ubuntu-20.04, gcc)	4m 28s
build (Release, 3.9, yes, flint, yes, ubuntu-20.04, gcc)	4m 50s
build (Debug, 3.8, yes, yes, ubuntu-20.04, clang)	3m 1s
build (Release, 3.8, yes, ubuntu-20.04, clang)	3m 57s
build (Debug, 3.10, yes, 14, yes, boostmp, -k "not integer_nthroot", ubuntu-22.04, deb http://apt...	4m 56s
build (Debug, 3.8, yes, 5, macos-13, clang)	9m 24s
build (Release, 3.9, no, macos-13, clang)	8m 56s
build (Debug, 3.8, no, macos-13, gcc)	5m 36s
build (Release, 3.8, macos-13, gcc)	7m 42s
build (Release, 3.11, ubuntu-20.04, yes, yes, yes, yes, yes, yes, flint, yes, gcc)	4m 51s
	1h 29m 22s

Provide feedback