test

Merge pull request #290 from arximboldi/fix-exception-detect #473

Job	Run time
build-spm	22s
build	52s
check (Debug, gnu-6, 14)	3m 3s
docs	1m 13s
check (Debug, gnu-7, 14)	3m 3s
check (Debug, llvm-5, 14)	2m 43s
check (Debug, llvm-6, 14)	2m 45s
check (Release, gnu-6, 14)	3m 40s
check (Release, gnu-7, 14)	3m 47s
check (Release, llvm-5, 14)	3m 52s
check (Release, llvm-6, 14)	4m 7s
check (Debug, gnu-9, 14, coverage)	3m 53s
check (Debug, gnu-8, 17)	3m 8s
check (Debug, llvm-9, 17, fuzzers)	4m 3s
check (Debug, gnu-11, 20)	3m 44s
check (Debug, llvm-13, 20)	3m 9s
check (Debug, llvm-8, 14, sanitize)	3m 53s
check (Release, gnu-9, 14, benchmark)	18m 53s
check (Release, llvm-10, 14, benchmark)	21m 14s
	1h 31m 24s

Provide feedback