Status Name Job Pipeline Stage Duration Coverage
failed build-coq.8.11.2 #121070
master
1174a416
fp
#44176 by Ralf Jung's avatar build

00:02:32

passed build-coq.8.11.2 #117159
master
4c3064d6
fp
#42948 by Hai Dang's avatar build

00:20:22

passed build-coq.8.11.2 #116913
master
6fe0c042
fp
#42859 by Hai Dang's avatar build

00:20:21

passed build-coq.8.11.2 #116800
master
444b4c94
fp
#42830 by Hai Dang's avatar build

00:20:22

passed build-coq.8.11.2 #116799
master
bb5cf3d1
fp
#42829 by Ralf Jung's avatar build

00:20:24

passed build-coq.8.11.2 #116798
master
1479da38
fp
#42828 by Ralf Jung's avatar build

00:20:29

passed build-coq.8.11.2 #116797
master
3a99ffb0
fp
#42827 by Ralf Jung's avatar build

00:20:25

passed build-coq.8.11.0 #116784
master
9445ab70
fp
#42818 by Hai Dang's avatar build

00:23:52

passed build-coq.8.11.0 #116783
master
df6c8179
fp
#42817 by Hai Dang's avatar build

00:23:32

passed build-coq.8.11.0 #116765
master
02d61030
fp
#42813 by Hai Dang's avatar build

00:24:31

passed build-coq.8.11.0 #116750
master
0317f23a
fp
#42811 by Hai Dang's avatar build

00:25:02

passed build-coq.8.11.0 #116749
master
ae59a004
fp
#42810 by Hai Dang's avatar build

00:25:06

passed build-coq.8.11.0 #116747
master
2bd6f359
fp
#42808 by Hai Dang's avatar build

00:22:54

passed build-coq.8.11.0 #115845
master
2515673a
fp
#42554 by Hai Dang's avatar build

00:22:39

passed build-coq.8.11.0 #115844
master
229ce538
fp
#42553 by Hai Dang's avatar build

00:22:44

passed build-coq.8.11.0 #115843
master
0160065c
fp
#42552 by Hai Dang's avatar build

00:22:46

passed build-coq.8.11.0 #115841
master
04e96ee9
fp
#42550 by Ralf Jung's avatar build

00:22:37

passed build-coq.8.11.0 #115560
master
e40fd791
fp
#42508 by Hai Dang's avatar build

00:22:24

passed build-coq.8.11.0 #115500
master
c6666053
fp
#42500 by Hai Dang's avatar build

00:22:38

passed build-coq.8.11.0 #115495
master
3e17f3c8
fp
#42496 by Hai Dang's avatar build

00:22:42

passed build-coq.8.11.0 #115491
master
70de5343
fp
#42492 by Hai Dang's avatar build

00:22:42

passed build-coq.8.11.0 #115489
master
8f1308f7
fp
#42490 by Hai Dang's avatar build

00:22:41

passed build-coq.8.11.0 #115412
master
08701265
fp
#42468 by Hai Dang's avatar build

00:23:10

passed build-coq.8.11.0 #115319
master
c10a7057
fp
#42455 by Ralf Jung's avatar build

00:22:54

passed build-coq.8.11.0 #115254
master
13d78376
fp
#42445 by Hai Dang's avatar build

00:24:12

passed build-coq.8.11.0 #115253
master
dfe86ff3
fp
#42444 by Hai Dang's avatar build

00:23:50

passed build-coq.8.11.0 #115073
master
579c5102
fp
#42404 by Hai Dang's avatar build

00:26:39

passed build-coq.8.11.0 #115072
master
40945d1c
fp
#42403 by Hai Dang's avatar build

00:26:55

passed build-coq.8.11.0 #115071
master
977e8493
fp
#42402 by Hai Dang's avatar build

00:26:56

passed build-coq.8.11.0 #115070
master
bbdc7000
fp
#42401 by Hai Dang's avatar build

00:25:31