Merge pull request #453 from cclauss/patch-1 #283

Job	Run time
build (Debug, yes, 3.12, yes, ubuntu-20.04, gcc)	5m 18s
build (Debug, yes, 3.11, yes, ubuntu-20.04, gcc)	3m 59s
build (Debug, yes, 3.10, yes, ubuntu-20.04, gcc)	3m 40s
build (Debug, yes, 3.9, yes, ubuntu-20.04, gcc)	3m 51s
build (Release, 3.8, yes, ubuntu-20.04, gcc)	6m 19s
build (Release, 3.8, yes, gmpxx, no, ubuntu-20.04, gcc)	7m 52s
build (Release, 3.8, yes, ubuntu-20.04, gcc)	10m 37s
build (Release, yes, 3.8, ubuntu-20.04, gcc)	5m 58s
build (Release, 3.9, yes, ubuntu-20.04, gcc)	6m 6s
build (Release, 3.9, yes, flint, yes, ubuntu-20.04, gcc)	8m 2s
build (Debug, 3.8, yes, yes, ubuntu-20.04, clang)	3m 25s
build (Release, 3.8, yes, ubuntu-20.04, clang)	5m 11s
build (Debug, 3.10, yes, 14, yes, boostmp, -k "not integer_nthroot", ubuntu-22.04, deb http://apt...	26m 25s
build (Debug, 3.8, yes, 5, macos-latest, clang)	12m 2s
build (Release, 3.9, no, macos-latest, clang)	7m 46s
build (Debug, 3.8, no, macos-latest, gcc)	5m 36s
build (Release, 3.8, macos-latest, gcc)	7m 12s
build (Release, 3.8, ubuntu-20.04, yes, yes, yes, yes, yes, flint, yes, gcc)	6m 26s
	2h 15m 45s

Provide feedback