Merge pull request #521 from bjodah/has_basic #412

Job	Run time
build (Debug, yes, 3.10, yes, ubuntu-22.04, gcc)	3m 26s
build (Release, 3.13, yes, gmpxx, no, ubuntu-22.04, gcc)	4m 13s
build (Release, 3.13, yes, ubuntu-22.04, gcc)	4m 2s
build (Release, 3.13, yes, ubuntu-22.04, gcc)	4m 10s
build (Debug, yes, 3.11, yes, ubuntu-22.04, gcc)	3m 15s
build (Debug, yes, 3.9, yes, ubuntu-22.04, gcc)	3m 41s
build (Release, 3.9, yes, ubuntu-22.04, gcc)	4m 37s
build (Release, 3.13, yes, ubuntu-22.04, clang)	3m 56s
build (Debug, 3.13, yes, yes, ubuntu-22.04, clang)	3m 57s
build (Release, yes, 3.13, ubuntu-22.04, gcc)	4m 19s
build (Debug, 3.12, yes, 18, yes, yes, boostmp, -k "not integer_nthroot", ubuntu-24.04, gcc, llvm...	5m 20s
build (Debug, yes, 3.12, yes, ubuntu-22.04, gcc)	3m 11s
build (Release, 3.9, yes, flint, yes, ubuntu-22.04, gcc)	4m 44s
build (Debug, 3.13, yes, 5, macos-13, clang)	6m 5s
build (Debug, 3.13, no, macos-13, gcc)	6m 18s
build (Release, 3.13, macos-13, gcc)	6m 29s
build (Release, 3.9, no, macos-13, clang)	5m 47s
build (Release, 3.11, ubuntu-22.04, yes, yes, yes, yes, yes, yes, flint, yes, gcc)	4m 26s
	1h 21m 56s

Provide feedback