Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.12.2 #155535
atomic-flip
26887b4d
fp
#56627 by Paolo G. Giarrusso's avatar build

00:08:00

passed build-coq.8.14.0 #155534
atomic-flip
26887b4d
fp
#56627 by Paolo G. Giarrusso's avatar build

00:14:26

canceled build-coq.8.12.2 #155533
atomic-flip
34d25d76
fp
#56626 by Paolo G. Giarrusso's avatar build

00:00:41

canceled build-coq.8.14.0 #155532
atomic-flip
34d25d76
fp
#56626 by Paolo G. Giarrusso's avatar build

00:00:42

passed build-coq.8.12.2 #152645
fractional_big_sepL2
3162a652
fp
#55830 by Paolo G. Giarrusso's avatar build

00:16:56

passed build-coq.dev #152644
fractional_big_sepL2
3162a652
fp
#55830 by Paolo G. Giarrusso's avatar build

00:09:08

passed build-coq.8.12.2 #148028
fractional_big_sepL2
ffe9dc0c
fp
#54664 by Paolo G. Giarrusso's avatar build

00:08:42

passed build-coq.dev #148027
fractional_big_sepL2
ffe9dc0c
fp
#54664 by Paolo G. Giarrusso's avatar build

00:08:24

passed build-coq.8.12.2 #147753
clarify-proof
3f4603f0
fp
#54535 by Paolo G. Giarrusso's avatar build

00:15:48

passed build-coq.dev #147752
clarify-proof
3f4603f0
fp
#54535 by Paolo G. Giarrusso's avatar build

00:27:16

passed build-coq.8.12.2 #147751
fractional_big_sepL2
28dc8394
fp
#54534 by Paolo G. Giarrusso's avatar build

00:14:53

passed build-coq.dev #147750
fractional_big_sepL2
28dc8394
fp
#54534 by Paolo G. Giarrusso's avatar build

00:27:13

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