Status Job Pipeline Stage Name Timing Coverage
passed #740447614
master
3e1aa157
#162510101 by Julien's avatar build coq

00:03:45

17.92%
failed #644787009
arvid@increase_coverage
b3563ac2
#167999151 by Raphaël Cauderlier's avatar build test:docker

00:12:22

passed #644787008
arvid@increase_coverage
b3563ac2
#167999151 by Raphaël Cauderlier's avatar build coq

00:12:16

18.5%
passed #644787007
arvid@increase_coverage
b3563ac2
#167999151 by Raphaël Cauderlier's avatar build coq:8.9

00:12:53

passed #644787006
arvid@increase_coverage
b3563ac2
#167999151 by Raphaël Cauderlier's avatar build coq:8.8

00:10:43

failed #644259510
arvid@increase_coverage
383e320d
#167880017 by Raphaël Cauderlier's avatar build test:docker

00:04:51

passed #644259509
arvid@increase_coverage
383e320d
#167880017 by Raphaël Cauderlier's avatar build coq

00:12:00

18.42%
passed #644259508
arvid@increase_coverage
383e320d
#167880017 by Raphaël Cauderlier's avatar build coq:8.9

00:11:40

passed #644259507
arvid@increase_coverage
383e320d
#167880017 by Raphaël Cauderlier's avatar build coq:8.8

00:11:07

failed #632961713
arvid@increase_coverage
badaab25
#165203595 by Raphaël Cauderlier's avatar build test:docker

00:12:34

passed #632961711
arvid@increase_coverage
badaab25
#165203595 by Raphaël Cauderlier's avatar build coq

00:12:14

19.7%
passed #632961710
arvid@increase_coverage
badaab25
#165203595 by Raphaël Cauderlier's avatar build coq:8.9

00:12:01

passed #632961709
arvid@increase_coverage
badaab25
#165203595 by Raphaël Cauderlier's avatar build coq:8.8

00:10:23

failed #632046702
arvid@increase_coverage
a5caff6c
#164994144 by Raphaël Cauderlier's avatar build test:docker

00:10:50

passed #632046701
arvid@increase_coverage
a5caff6c
#164994144 by Raphaël Cauderlier's avatar build coq

00:12:05

18.67%
passed #632046700
arvid@increase_coverage
a5caff6c
#164994144 by Raphaël Cauderlier's avatar build coq:8.9

00:11:09

passed #632046699
arvid@increase_coverage
a5caff6c
#164994144 by Raphaël Cauderlier's avatar build coq:8.8

00:09:58

passed #632030108
rafoo@docker_on_dev
b50b619a
#164990380 by Raphaël Cauderlier's avatar build test:docker

00:13:31

passed #632030105
rafoo@docker_on_dev
b50b619a
#164990380 by Raphaël Cauderlier's avatar build coq

00:12:02

15.53%
passed #632030103
rafoo@docker_on_dev
b50b619a
#164990380 by Raphaël Cauderlier's avatar build coq:8.9

00:10:24

passed #632030102
rafoo@docker_on_dev
b50b619a
#164990380 by Raphaël Cauderlier's avatar build coq:8.8

00:10:38

failed #632023165
arvid@increase_coverage
adb87d41
#164988972 by Raphaël Cauderlier's avatar build test:docker

00:11:14

failed #632023164
arvid@increase_coverage
adb87d41
#164988972 by Raphaël Cauderlier's avatar build coq

00:11:22

failed #632023163
arvid@increase_coverage
adb87d41
#164988972 by Raphaël Cauderlier's avatar build coq:8.9

00:10:25

failed #632023162
arvid@increase_coverage
adb87d41
#164988972 by Raphaël Cauderlier's avatar build coq:8.8

00:09:56

failed #631382589
arvid@increase_coverage
751f427d
#164851225 by Raphaël Cauderlier's avatar build test:docker

00:12:50

passed #631382586
arvid@increase_coverage
751f427d
#164851225 by Raphaël Cauderlier's avatar build coq

00:12:12

18.58%
passed #631382574
arvid@increase_coverage
751f427d
#164851225 by Raphaël Cauderlier's avatar build coq:8.9

00:12:11

passed #631382570
arvid@increase_coverage
751f427d
#164851225 by Raphaël Cauderlier's avatar build coq:8.8

00:11:19

passed #631238326
dev
3b48668b
#164820447 by Raphaël Cauderlier's avatar build coq

00:11:45

15.53%