test

Merge pull request #215 from arximboldi/box-recursive-type #447

Job	Run time
docs	1m 16s
check (Debug, gnu-6, 14)	2m 5s
build	1m 20s
build-spm	20s
check (Debug, gnu-7, 14)	2m 3s
check (Debug, llvm-5, 14)	1m 59s
check (Debug, llvm-6, 14)	2m 5s
check (Release, gnu-6, 14)	2m 16s
check (Release, gnu-7, 14)	2m 19s
check (Release, llvm-5, 14)	40s
check (Release, llvm-6, 14)	1s
check (Debug, gnu-9, 14, coverage)	2m 20s
check (Debug, gnu-8, 17)	2m 7s
check (Debug, llvm-9, 17, fuzzers)	2m 17s
check (Debug, gnu-11, 20)	2m 21s
check (Debug, llvm-13, 20)	2m 5s
check (Debug, llvm-8, 14, sanitize)	2m 20s
check (Release, gnu-9, 14, benchmark)	54s
check (Release, llvm-10, 14, benchmark)	56s
	31m 44s

Provide feedback