test

After merge fixes #448

Job	Run time
docs	1m 19s
build-spm	17s
build	9m 30s
check (Debug, gnu-6, 14)	2m 57s
check (Debug, gnu-7, 14)	3m 5s
check (Debug, llvm-5, 14)	2m 37s
check (Debug, llvm-6, 14)	2m 41s
check (Release, gnu-6, 14)	3m 46s
check (Release, gnu-7, 14)	3m 44s
check (Release, llvm-5, 14)	3m 59s
check (Release, llvm-6, 14)	4m 7s
check (Debug, gnu-9, 14, coverage)	4m 13s
check (Debug, gnu-8, 17)	3m 8s
check (Debug, llvm-9, 17, fuzzers)	4m 3s
check (Debug, gnu-11, 20)	3m 30s
check (Debug, llvm-13, 20)	3m 10s
check (Debug, llvm-8, 14, sanitize)	3m 56s
check (Release, gnu-9, 14, benchmark)	19m 26s
check (Release, llvm-10, 14, benchmark)	21m 28s
	1h 40m 56s

Provide feedback