test

Merge pull request #275 from tjaneczko/patch-1 #334

Job	Run time
build-spm	33s
build	1m 18s
docs	4m 1s
check (Debug, gnu-6, 14)	8m 4s
check (Debug, gnu-7, 14)	8m 18s
check (Debug, llvm-5, 14)	6m 37s
check (Debug, llvm-6, 14)	6m 30s
check (Release, gnu-6, 14)	10m 28s
check (Release, gnu-7, 14)	11m 11s
check (Release, llvm-5, 14)	11m 36s
check (Release, llvm-6, 14)	12m 22s
check (Debug, gnu-9, 14, coverage)	10m 47s
check (Debug, gnu-8, 17)	8m 28s
check (Debug, llvm-9, 17, fuzzers)	8m 49s
check (Debug, gnu-11, 20)	9m 23s
check (Debug, llvm-13, 20)	7m 4s
check (Debug, llvm-8, 14, sanitize)	10m 52s
check (Release, gnu-9, 14, benchmark)	29m 31s
check (Release, llvm-10, 14, benchmark)	28m 42s
	3h 14m 34s

Provide feedback