Status Job Pipeline Stage Name Timing Coverage
passed #1076064
master
4dc4a66d
docker
#236691 by Guillaume Melquiond's avatar test opam-latest

00:00:54

passed #1076063
master
4dc4a66d
docker
#236691 by Guillaume Melquiond's avatar test opam-minimal

00:00:55

passed #1076062
master
4dc4a66d
docker
#236691 by Guillaume Melquiond's avatar build build-latest

00:01:04

passed #1076061
master
4dc4a66d
docker
#236691 by Guillaume Melquiond's avatar build build-minimal

00:01:11

passed #1075758
master
139214d4
docker
#236627 by Guillaume Melquiond's avatar test opam-latest

00:01:12

passed #1075757
master
139214d4
docker
#236627 by Guillaume Melquiond's avatar test opam-minimal

00:01:10

passed #1075756
master
139214d4
docker
#236627 by Guillaume Melquiond's avatar build build-latest

00:03:03

passed #1075755
master
139214d4
docker
#236627 by Guillaume Melquiond's avatar build build-minimal

00:02:31

passed #923073
master
9b4efb42
docker
#202936 by Guillaume Melquiond's avatar test opam-latest

00:01:01

passed #923072
master
9b4efb42
docker
#202936 by Guillaume Melquiond's avatar test opam-minimal

00:01:00

passed #923071
master
9b4efb42
docker
#202936 by Guillaume Melquiond's avatar build build-latest

00:01:07

passed #923070
master
9b4efb42
docker
#202936 by Guillaume Melquiond's avatar build build-minimal

00:01:04

passed #919630
master
fa9d6d3e
docker
#202278 by Guillaume Melquiond's avatar test opam-latest

00:01:01

passed #919629
master
fa9d6d3e
docker
#202278 by Guillaume Melquiond's avatar test opam-minimal

00:00:55

passed #919628
master
fa9d6d3e
docker
#202278 by Guillaume Melquiond's avatar build build-latest

00:01:07

passed #919627
master
fa9d6d3e
docker
#202278 by Guillaume Melquiond's avatar build build-minimal

00:01:03

passed #912384
gappalib-coq-1.4.6
aff566a1
docker
#200750 by Guillaume Melquiond's avatar test opam-latest

00:00:56

passed #912383
gappalib-coq-1.4.6
aff566a1
docker
#200750 by Guillaume Melquiond's avatar test opam-minimal

00:00:57

passed #912382
gappalib-coq-1.4.6
aff566a1
docker
#200750 by Guillaume Melquiond's avatar build build-latest

00:01:02

passed #912381
gappalib-coq-1.4.6
aff566a1
docker
#200750 by Guillaume Melquiond's avatar build build-minimal

00:00:59

passed #912380
master
aff566a1
docker
#200749 by Guillaume Melquiond's avatar test opam-latest

00:00:54

passed #912379
master
aff566a1
docker
#200749 by Guillaume Melquiond's avatar test opam-minimal

00:00:53

passed #912378
master
aff566a1
docker
#200749 by Guillaume Melquiond's avatar build build-latest

00:01:17

passed #912377
master
aff566a1
docker
#200749 by Guillaume Melquiond's avatar build build-minimal

00:01:13

passed #899767
master
22812429
docker
#198228 by Guillaume Melquiond's avatar test opam-latest

00:00:55

passed #899766
master
22812429
docker
#198228 by Guillaume Melquiond's avatar test opam-minimal

00:00:52

passed #899765
master
22812429
docker
#198228 by Guillaume Melquiond's avatar build build-latest

00:01:09

passed #899764
master
22812429
docker
#198228 by Guillaume Melquiond's avatar build build-minimal

00:01:05

passed #866342
master
3935dfe7
docker
#191294 by Guillaume Melquiond's avatar test opam-latest

00:00:53

passed #866341
master
3935dfe7
docker
#191294 by Guillaume Melquiond's avatar test opam-minimal

00:00:50