Status Job Pipeline Stage Name Duration Coverage
passed #136536
linear-frame-priorities
20789d80
fp
#50968 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:09:23

passed #136535
linear-frame-priorities
20789d80
fp
#50968 by Paolo G. Giarrusso's avatar build build-coq.dev

00:09:04

passed #136523
linear-frame-priorities
94a826a9
fp
#50962 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:11:38

passed #136522
linear-frame-priorities
94a826a9
fp
#50962 by Paolo G. Giarrusso's avatar build build-coq.dev

00:11:01

canceled #136519
linear-frame-priorities
affd6603
fp
#50960 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:06:12

canceled #136518
linear-frame-priorities
affd6603
fp
#50960 by Paolo G. Giarrusso's avatar build build-coq.dev

00:06:12

passed #135356
linear-frame-priorities
e6d06b70
fp
#50600 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:07:53

passed #135355
linear-frame-priorities
e6d06b70
fp
#50600 by Paolo G. Giarrusso's avatar build build-coq.dev

00:07:34

passed #135345
persistent-fractional
448ece34
fp
#50595 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:10:16

passed #135344
persistent-fractional
448ece34
fp
#50595 by Paolo G. Giarrusso's avatar build build-coq.dev

00:11:25

passed #135343
linear-frame-priorities
476870ac
fp
#50594 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:12:10

passed #135342
linear-frame-priorities
476870ac
fp
#50594 by Paolo G. Giarrusso's avatar build build-coq.dev

00:11:26

canceled #135341
linear-frame-priorities
61e2a065
fp
#50593 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:00:04

canceled #135340
linear-frame-priorities
61e2a065
fp
#50593 by Paolo G. Giarrusso's avatar build build-coq.dev

00:00:19

canceled #135339
linear-frame-priorities
c3bfce21
fp
#50592 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:00:50

canceled #135338
linear-frame-priorities
c3bfce21
fp
#50592 by Paolo G. Giarrusso's avatar build build-coq.dev

00:00:51

passed #135169
linear-frame-priorities
53b9f456
fp
#50516 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:10:45

passed #135168
linear-frame-priorities
53b9f456
fp
#50516 by Paolo G. Giarrusso's avatar build build-coq.dev

00:19:10

passed #131981
modes-broken
5f5c02af
fp
#48976 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:09:20

passed #131980
modes-broken
5f5c02af
fp
#48976 by Paolo G. Giarrusso's avatar build build-coq.dev

00:08:50

canceled #131979
modes-broken
954e2ea7
fp
#48975 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:00:45

canceled #131978
modes-broken
954e2ea7
fp
#48975 by Paolo G. Giarrusso's avatar build build-coq.dev

00:00:46

canceled #131977
modes-broken
f6389cbd
fp
#48974 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:03:09

canceled #131976
modes-broken
f6389cbd
fp
#48974 by Paolo G. Giarrusso's avatar build build-coq.dev

00:03:10

passed #131901
fix-typos
ed623766
fp
#48932 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:13:26

passed #131900
fix-typos
ed623766
fp
#48932 by Paolo G. Giarrusso's avatar build build-coq.dev

00:12:56

failed #131899
modes-broken
51362a58
fp
#48931 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:09:51

failed #131898
modes-broken
51362a58
fp
#48931 by Paolo G. Giarrusso's avatar build build-coq.dev

00:08:54

passed #131783
modes-dist
a02c29ac
fp
#48870 by Paolo G. Giarrusso's avatar build build-coq.8.12.2

00:09:32

passed #131782
modes-dist
a02c29ac
fp
#48870 by Paolo G. Giarrusso's avatar build build-coq.dev

00:09:15