Merge pull request #2072 from mezzarobba/misc #2814

Job	Run time
Ubuntu GCC, Code Coverage (x10)	30m 17s
GCC build regression check (no tests)	1m 3s
macOS-M1, Clang (x3)	9m 7s
macOS-x86 Clang with BLAS (x2)	14m 57s
MinGW GCC (x0.5)	10m 47s
Ubuntu Clang with examples (x5)	11m 50s
Ubuntu GCC with NTL (assert, x2)	8m 27s
Alpine Linux, musl, 32-bit (assert, x1.5)	14m 6s
MSVC (x1)	9m 53s
Nemo.jl (temporary branch)	11m 54s
	2h 2m 21s

Provide feedback