Jobs · Nomadic Labs / Albert

Status	Job	Pipeline	Stage	Name	Timing	Coverage
passed	#740447614 master 3e1aa157	#162510101 by	build	coq	00:03:45 Sep 16, 2020	17.92%
failed	#644787009 arvid@increase_coverage b3563ac2	#167999151 by	build	test:docker	00:12:22 Jul 17, 2020
passed	#644787008 arvid@increase_coverage b3563ac2	#167999151 by	build	coq	00:12:16 Jul 17, 2020	18.5%
passed	#644787007 arvid@increase_coverage b3563ac2	#167999151 by	build	coq:8.9	00:12:53 Jul 17, 2020
passed	#644787006 arvid@increase_coverage b3563ac2	#167999151 by	build	coq:8.8	00:10:43 Jul 17, 2020
failed	#644259510 arvid@increase_coverage 383e320d	#167880017 by	build	test:docker	00:04:51 Jul 17, 2020
passed	#644259509 arvid@increase_coverage 383e320d	#167880017 by	build	coq	00:12:00 Jul 17, 2020	18.42%
passed	#644259508 arvid@increase_coverage 383e320d	#167880017 by	build	coq:8.9	00:11:40 Jul 17, 2020
passed	#644259507 arvid@increase_coverage 383e320d	#167880017 by	build	coq:8.8	00:11:07 Jul 17, 2020
failed	#632961713 arvid@increase_coverage badaab25	#165203595 by	build	test:docker	00:12:34 Jul 10, 2020
passed	#632961711 arvid@increase_coverage badaab25	#165203595 by	build	coq	00:12:14 Jul 10, 2020	19.7%
passed	#632961710 arvid@increase_coverage badaab25	#165203595 by	build	coq:8.9	00:12:01 Jul 10, 2020
passed	#632961709 arvid@increase_coverage badaab25	#165203595 by	build	coq:8.8	00:10:23 Jul 10, 2020
failed	#632046702 arvid@increase_coverage a5caff6c	#164994144 by	build	test:docker	00:10:50 Jul 09, 2020
passed	#632046701 arvid@increase_coverage a5caff6c	#164994144 by	build	coq	00:12:05 Jul 09, 2020	18.67%
passed	#632046700 arvid@increase_coverage a5caff6c	#164994144 by	build	coq:8.9	00:11:09 Jul 09, 2020
passed	#632046699 arvid@increase_coverage a5caff6c	#164994144 by	build	coq:8.8	00:09:58 Jul 09, 2020
passed	#632030108 rafoo@docker_on_dev b50b619a	#164990380 by	build	test:docker	00:13:31 Jul 09, 2020
passed	#632030105 rafoo@docker_on_dev b50b619a	#164990380 by	build	coq	00:12:02 Jul 09, 2020	15.53%
passed	#632030103 rafoo@docker_on_dev b50b619a	#164990380 by	build	coq:8.9	00:10:24 Jul 09, 2020
passed	#632030102 rafoo@docker_on_dev b50b619a	#164990380 by	build	coq:8.8	00:10:38 Jul 09, 2020
failed	#632023165 arvid@increase_coverage adb87d41	#164988972 by	build	test:docker	00:11:14 Jul 09, 2020
failed	#632023164 arvid@increase_coverage adb87d41	#164988972 by	build	coq	00:11:22 Jul 09, 2020
failed	#632023163 arvid@increase_coverage adb87d41	#164988972 by	build	coq:8.9	00:10:25 Jul 09, 2020
failed	#632023162 arvid@increase_coverage adb87d41	#164988972 by	build	coq:8.8	00:09:56 Jul 09, 2020
failed	#631382589 arvid@increase_coverage 751f427d	#164851225 by	build	test:docker	00:12:50 Jul 09, 2020
passed	#631382586 arvid@increase_coverage 751f427d	#164851225 by	build	coq	00:12:12 Jul 09, 2020	18.58%
passed	#631382574 arvid@increase_coverage 751f427d	#164851225 by	build	coq:8.9	00:12:11 Jul 09, 2020
passed	#631382570 arvid@increase_coverage 751f427d	#164851225 by	build	coq:8.8	00:11:19 Jul 09, 2020
passed	#631238326 dev 3b48668b	#164820447 by	build	coq	00:11:45 Jul 09, 2020	15.53%