Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.11.0 #115069
master
47c40f8a
fp
#42400 by Hai Dang's avatar build

00:22:44

passed build-coq.8.11.0 #115068
master
948049ae
fp
#42399 by Hai Dang's avatar build

00:22:38

passed build-coq.8.11.0 #115061
master
8d1e16ca
fp
#42395 by Hai Dang's avatar build

00:22:41

passed build-coq.8.11.0 #115050
master
bb3bf35e
fp
#42388 by Ralf Jung's avatar build

00:23:14

passed build-coq.8.11.0 #115049
master
9ed55c3b
fp
#42387 by Ralf Jung's avatar build

00:23:34

passed build-coq.8.11.0 #115019
master
b7e5e5f0
fp
#42383 by Ralf Jung's avatar build

00:22:41

passed build-coq.8.11.0 #115016
master
97946b27
fp
#42381 by Hai Dang's avatar build

00:23:15

passed build-coq.8.11.0 #115015
master
d7945533
fp
#42380 by Hai Dang's avatar build

00:23:20

passed build-coq.8.11.0 #114903
master
d4098e77
fp
#42344 by Hai Dang's avatar build

00:22:33

passed build-coq.8.11.0 #114825
master
c5933a67
fp
#42316 by Ralf Jung's avatar build

00:23:16

passed build-coq.8.11.0 #114824
master
a3374a51
fp
#42315 by Ralf Jung's avatar build

00:23:33

passed build-coq.8.11.0 #114787
master
a0d2fb3a
fp
#42308 by Hai Dang's avatar build

00:22:37

passed build-coq.8.11.0 #114482
master
052e2f0d
fp
#42242 by Ralf Jung's avatar build

00:22:34

passed build-coq.8.11.0 #114478
master
adee7669
fp
#42240 by Ralf Jung's avatar build

00:22:39

passed build-coq.8.11.0 #114475
master
1304f9db
fp
#42238 by Ralf Jung's avatar build

00:22:44

passed build-coq.8.11.0 #114288
master
08c68977
fp
#42159 by Ralf Jung's avatar build

00:22:37

passed build-coq.8.11.0 #113963
master
64fe681e
fp
#42086 by Ralf Jung's avatar build

00:22:41

passed build-coq.8.11.0 #113806
master
081a6707
fp
#42041 by Ralf Jung's avatar build

00:22:44

passed build-coq.8.11.0 #113395
master
da69ecd0
fp
#41918 by Ralf Jung's avatar build

00:23:00

passed build-coq.8.11.0 #113394
master
0db39be4
fp
#41917 by Ralf Jung's avatar build

00:23:27

passed build-coq.8.11.0 #112759
master
b8360e46
fp
#41632 by Ralf Jung's avatar build

00:22:46

passed build-coq.8.11.0 #112757
master
0d939232
fp
#41630 by Ralf Jung's avatar build

00:23:42

passed build-coq.8.11.0 #112756
master
7ff36941
fp
#41629 by Ralf Jung's avatar build

00:23:23

passed build-coq.8.11.0 #112752
master
35e09d79
fp
#41626 by Ralf Jung's avatar build

00:22:39

passed build-coq.8.11.0 #112670
master
7f9a4432
fp
#41583 by Ralf Jung's avatar build

00:22:36

passed build-coq.8.11.0 #112655
master
877263a4
fp
#41574 by Ralf Jung's avatar build

00:22:31

passed build-coq.8.11.0 #112351
master
50f07828
fp
#41437 by Hai Dang's avatar build

00:23:33

passed build-coq.8.11.0 #112350
master
3102db6b
fp
#41436 by Hai Dang's avatar build

00:23:40

passed build-coq.8.11.0 #112347
master
05a09815
fp
#41434 by Hai Dang's avatar build

00:25:49

passed build-coq.8.11.0 #112346
master
949d1ea7
fp
#41433 by Hai Dang's avatar build

00:25:55