Status Name Job Pipeline Stage Duration Coverage
skipped opam-latest #2253264
hierarchy-builder
5597db88
medium
#588370 by Pierre Roux's avatar test
skipped opam-minimal #2253263
hierarchy-builder
5597db88
medium
#588370 by Pierre Roux's avatar test
failed build-latest #2253262
hierarchy-builder
5597db88
medium
#588370 by Pierre Roux's avatar build

00:02:23

failed build-minimal #2253261
hierarchy-builder
5597db88
medium
#588370 by Pierre Roux's avatar build

00:02:20

passed opam-latest #2170007
interval-4.5
b161edc1
medium
#561317 by Guillaume Melquiond's avatar test

00:04:24

passed opam-minimal #2170006
interval-4.5
b161edc1
medium
#561317 by Guillaume Melquiond's avatar test

00:04:23

passed build-latest #2170005
interval-4.5
b161edc1
medium
#561317 by Guillaume Melquiond's avatar build

00:05:37

passed build-minimal #2170004
interval-4.5
b161edc1
medium
#561317 by Guillaume Melquiond's avatar build

00:07:56

passed opam-latest #2156452
coq-8.16
91bff55b
medium
#556554 by Guillaume Melquiond's avatar test

00:02:58

passed opam-minimal #2156451
coq-8.16
91bff55b
medium
#556554 by Guillaume Melquiond's avatar test

00:02:45

passed build-latest #2156450
coq-8.16
91bff55b
medium
#556554 by Guillaume Melquiond's avatar build

00:03:39

passed build-minimal #2156449
coq-8.16
91bff55b
medium
#556554 by Guillaume Melquiond's avatar build

00:04:32

passed opam-latest #2156085
coq-8.16
b03c3f45
medium
#556415 by Guillaume Melquiond's avatar test

00:02:55

passed opam-minimal #2156084
coq-8.16
b03c3f45
medium
#556415 by Guillaume Melquiond's avatar test

00:02:52

passed build-latest #2156083
coq-8.16
b03c3f45
medium
#556415 by Guillaume Melquiond's avatar build

00:03:34

passed build-minimal #2156082
coq-8.16
b03c3f45
medium
#556415 by Guillaume Melquiond's avatar build

00:04:23

failed opam-latest #2156069
coq-8.16
e25732f7
medium
#556410 by Guillaume Melquiond's avatar test

00:02:55

failed opam-minimal #2156068
coq-8.16
e25732f7
medium
#556410 by Guillaume Melquiond's avatar test

00:02:50

passed build-latest #2156067
coq-8.16
e25732f7
medium
#556410 by Guillaume Melquiond's avatar build

00:03:27

passed build-minimal #2156066
coq-8.16
e25732f7
medium
#556410 by Guillaume Melquiond's avatar build

00:04:18

failed opam-latest #2155993
coq-8.16
1a06c506
medium
#556377 by Guillaume Melquiond's avatar test

00:02:49

failed opam-minimal #2155992
coq-8.16
1a06c506
medium
#556377 by Guillaume Melquiond's avatar test

00:02:43

passed build-latest #2155991
coq-8.16
1a06c506
medium
#556377 by Guillaume Melquiond's avatar build

00:03:35

passed build-minimal #2155990
coq-8.16
1a06c506
medium
#556377 by Guillaume Melquiond's avatar build

00:04:23

skipped opam-latest #2155925
coq-8.16
90cbf0a4
medium
#556357 by Guillaume Melquiond's avatar test
skipped opam-minimal #2155924
coq-8.16
90cbf0a4
medium
#556357 by Guillaume Melquiond's avatar test
passed build-latest #2155923
coq-8.16
90cbf0a4
medium
#556357 by Guillaume Melquiond's avatar build

00:03:35

failed build-minimal #2155922
coq-8.16
90cbf0a4
medium
#556357 by Guillaume Melquiond's avatar build

00:04:31

passed pages #2146726
master
1d5ddb99
medium
#552918 by Guillaume Melquiond's avatar deploy

00:02:44

passed opam-latest #2146725
master
1d5ddb99
medium
#552918 by Guillaume Melquiond's avatar test

00:02:50