Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.12.2 #139237
na_invariants_tweak
ab9e5fa4
fp
#51912 by Paolo G. Giarrusso's avatar build

00:11:21

passed build-coq.dev #139236
na_invariants_tweak
ab9e5fa4
fp
#51912 by Paolo G. Giarrusso's avatar build

00:10:35

passed build-coq.8.12.2 #136786
linear-frame-priorities
410d5aa6
fp
#51052 by Paolo G. Giarrusso's avatar build

00:07:43

passed build-coq.dev #136785
linear-frame-priorities
410d5aa6
fp
#51052 by Paolo G. Giarrusso's avatar build

00:07:39

passed build-coq.8.12.2 #136706
linear-frame-priorities
d3c20a95
fp
#51042 by Paolo G. Giarrusso's avatar build

00:07:46

passed build-coq.dev #136705
linear-frame-priorities
d3c20a95
fp
#51042 by Paolo G. Giarrusso's avatar build

00:07:32

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

00:09:23

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

00:09:04

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

00:11:38

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

00:11:01

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

00:06:12

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

00:06:12

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

00:07:53

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

00:07:34

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

00:10:16

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

00:11:25

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

00:12:10

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

00:11:26

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

00:00:04

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

00:00:19

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

00:00:50

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

00:00:51

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

00:10:45

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

00:19:10

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

00:09:20

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

00:08:50

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

00:00:45

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

00:00:46

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

00:03:09

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

00:03:10