Status Job Pipeline Stage Name Timing Coverage
passed #682301
gappalib-coq-1.4.4
3a367f9b
docker
#151180 by Guillaume Melquiond's avatar test opam-latest

00:00:54

passed #682300
gappalib-coq-1.4.4
3a367f9b
docker
#151180 by Guillaume Melquiond's avatar test opam-minimal

00:00:53

passed #682299
gappalib-coq-1.4.4
3a367f9b
docker
#151180 by Guillaume Melquiond's avatar build build-latest

00:01:11

passed #682298
gappalib-coq-1.4.4
3a367f9b
docker
#151180 by Guillaume Melquiond's avatar build build-minimal

00:01:02

passed #682297
master
3a367f9b
docker
#151179 by Guillaume Melquiond's avatar test opam-latest

00:00:53

passed #682296
master
3a367f9b
docker
#151179 by Guillaume Melquiond's avatar test opam-minimal

00:00:53

passed #682295
master
3a367f9b
docker
#151179 by Guillaume Melquiond's avatar build build-latest

00:01:04

passed #682294
master
3a367f9b
docker
#151179 by Guillaume Melquiond's avatar build build-minimal

00:01:02

passed #682291
master
7c56c0a1
docker
#151177 by Guillaume Melquiond's avatar test opam-latest

00:00:55

passed #682290
master
7c56c0a1
docker
#151177 by Guillaume Melquiond's avatar test opam-minimal

00:00:54

passed #682289
master
7c56c0a1
docker
#151177 by Guillaume Melquiond's avatar build build-latest

00:01:15

passed #682288
master
7c56c0a1
docker
#151177 by Guillaume Melquiond's avatar build build-minimal

00:01:16

passed #682287
master
e948d047
docker
#151176 by Guillaume Melquiond's avatar test opam-latest

00:01:01

passed #682286
master
e948d047
docker
#151176 by Guillaume Melquiond's avatar test opam-minimal

00:00:53

passed #682285
master
e948d047
docker
#151176 by Guillaume Melquiond's avatar build build-latest

00:01:04

passed #682284
master
e948d047
docker
#151176 by Guillaume Melquiond's avatar build build-minimal

00:01:03

skipped #682283
master
abc8415b
docker
#151175 by Guillaume Melquiond's avatar test opam-latest
skipped #682282
master
abc8415b
docker
#151175 by Guillaume Melquiond's avatar test opam-minimal
failed #682281
master
abc8415b
docker
#151175 by Guillaume Melquiond's avatar build build-latest

00:00:42

passed #682280
master
abc8415b
docker
#151175 by Guillaume Melquiond's avatar build build-minimal

00:01:06

passed #605848
master
494fb283
docker
#134556 by Guillaume Melquiond's avatar test opam-latest

00:00:52

passed #605847
master
494fb283
docker
#134556 by Guillaume Melquiond's avatar test opam-minimal

00:00:56

passed #605846
master
494fb283
docker
#134556 by Guillaume Melquiond's avatar build build-latest

00:01:05

passed #605845
master
494fb283
docker
#134556 by Guillaume Melquiond's avatar build build-minimal

00:01:04

passed #605842
gappalib-coq-1.4.3
c34e8a86
docker
#134554 by Guillaume Melquiond's avatar test opam-latest

00:00:53

passed #605841
gappalib-coq-1.4.3
c34e8a86
docker
#134554 by Guillaume Melquiond's avatar test opam-minimal

00:00:52

passed #605840
gappalib-coq-1.4.3
c34e8a86
docker
#134554 by Guillaume Melquiond's avatar build build-latest

00:01:08

passed #605839
gappalib-coq-1.4.3
c34e8a86
docker
#134554 by Guillaume Melquiond's avatar build build-minimal

00:01:08

passed #605838
master
c34e8a86
docker
#134553 by Guillaume Melquiond's avatar test opam-latest

00:00:50

passed #605837
master
c34e8a86
docker
#134553 by Guillaume Melquiond's avatar test opam-minimal

00:00:48