Status Job Pipeline Stage Name Timing Coverage
passed #325014994
raphael@micheline
89543bb5
#89785561 by Raphaël Cauderlier's avatar build coq:8.9

00:07:55

passed #325014993
raphael@micheline
89543bb5
#89785561 by Raphaël Cauderlier's avatar build coq:8.8

00:07:26

passed #321938434
master
a4d6612c
#89046384 by Raphaël Cauderlier's avatar build coq:8.9

00:03:52

passed #321938433
master
a4d6612c
#89046384 by Raphaël Cauderlier's avatar build coq:8.8

00:03:54

passed #320340038
backport-opam-package-changes-from-upstream
12869fc4
#88661786 by Guillaume Claret's avatar build coq:8.9

00:04:30

passed #320340036
backport-opam-package-changes-from-upstream
12869fc4
#88661786 by Guillaume Claret's avatar build coq:8.8

00:03:39

canceled #320338304
backport-opam-package-changes-from-upstream
1b72881e
#88661430 by Guillaume Claret's avatar build coq:8.9

canceled #320338301
backport-opam-package-changes-from-upstream
1b72881e
#88661430 by Guillaume Claret's avatar build coq:8.8

passed #320294339
master
f1fbadfb
#88651070 by Raphaël Cauderlier's avatar build coq:8.9

00:04:49

passed #320294338
master
f1fbadfb
#88651070 by Raphaël Cauderlier's avatar build coq:8.8

00:04:23

passed #320277980
raphael@micheline
f3ee0e08
#88647237 by Raphaël Cauderlier's avatar build coq:8.9

00:07:29

passed #320277979
raphael@micheline
f3ee0e08
#88647237 by Raphaël Cauderlier's avatar build coq:8.8

00:07:14

passed #317523145
master
46ffce5e
#87982293 by Raphaël Cauderlier's avatar build coq:8.9

00:05:01

passed #317523144
master
46ffce5e
#87982293 by Raphaël Cauderlier's avatar build coq:8.8

00:03:42

passed #317286743
raphael@micheline
b93c2ec0
#87926688 by Raphaël Cauderlier's avatar build coq:8.9

00:07:29

passed #317286742
raphael@micheline
b93c2ec0
#87926688 by Raphaël Cauderlier's avatar build coq:8.8

00:06:09

passed #316422048
master
7b0cc2bb
#87717550 by Bruno B's avatar build coq:8.9

00:04:09

passed #316422047
master
7b0cc2bb
#87717550 by Bruno B's avatar build coq:8.8

00:03:32

failed #316367706
raphael@micheline
6bd6b959
#87703458 by Raphaël Cauderlier's avatar build coq:8.9

00:06:19

failed #316367705
raphael@micheline
6bd6b959
#87703458 by Raphaël Cauderlier's avatar build coq:8.8

00:06:28

passed #315344475
raphael@micheline
b9994231
#87455886 by Raphaël Cauderlier's avatar build coq:8.9

00:06:12

passed #315344474
raphael@micheline
b9994231
#87455886 by Raphaël Cauderlier's avatar build coq:8.8

00:06:32

passed #314175630
raphael@micheline
843421c6
#87163644 by Raphaël Cauderlier's avatar build coq:8.9

00:06:30

passed #314175629
raphael@micheline
843421c6
#87163644 by Raphaël Cauderlier's avatar build coq:8.8

00:06:59

passed #314140117
raphael@micheline
1428d069
#87152958 by Raphaël Cauderlier's avatar build coq:8.9

00:06:51

passed #314140116
raphael@micheline
1428d069
#87152958 by Raphaël Cauderlier's avatar build coq:8.8

00:06:20

failed #314133570
raphael@micheline
2a50a861
#87151093 by Raphaël Cauderlier's avatar build coq:8.9

00:06:01

failed #314133569
raphael@micheline
2a50a861
#87151093 by Raphaël Cauderlier's avatar build coq:8.8

00:05:33

failed #313214258
raphael@micheline
7c81f2f7
#86919638 by Raphaël Cauderlier's avatar build coq:8.9

00:04:37

failed #313214257
raphael@micheline
7c81f2f7
#86919638 by Raphaël Cauderlier's avatar build coq:8.8

00:05:19