Build-Test-Deploy #81

Job	Run time
build	19s
test-benchexec (bubaak)	46s
test-benchexec (cbmc)	1m 2s
test-benchexec (coveriteam-verifier-algo-selection)	53s
test-benchexec (coveriteam-verifier-parallel-portfolio)	45s
test-benchexec (cpa-lockator)	45s
test-benchexec (cpachecker)	46s
test-benchexec (cseq)	46s
test-benchexec (dartagnan)	46s
test-benchexec (deagle)	45s
test-benchexec (divine)	47s
test-benchexec (ebf)	59s
test-benchexec (esbmc-incr)	43s
test-benchexec (esbmc-kind)	45s
test-benchexec (goblint)	45s
test-benchexec (graves-par)	43s
test-benchexec (graves)	44s
test-benchexec (infer)	44s
test-benchexec (lazycseq)	45s
test-benchexec (lf-checker)	57s
test-benchexec (pesco)	44s
test-benchexec (pichecker)	44s
test-benchexec (symbiotic)	42s
test-benchexec (theta)	59s
test-benchexec (uautomizer)	44s
test-benchexec (ugemcutter)	43s
test-benchexec (utaipan)	44s
collect-results	1s
	20m 46s

Provide feedback