Status Name Job Pipeline Stage Duration Coverage
canceled build-coq.8.13.2 #174688
local-instances
396b8c73
fp
#62759 by Paolo G. Giarrusso's avatar build

00:07:21

canceled build-coq.8.14.1-mr #174687
local-instances
396b8c73
fp
#62759 by Paolo G. Giarrusso's avatar build

00:07:22

passed build-coq.8.13.2 #174607
local-instances
abe05aec
fp
#62748 by Paolo G. Giarrusso's avatar build

00:14:28

passed build-coq.8.14.1-mr #174606
local-instances
abe05aec
fp
#62748 by Paolo G. Giarrusso's avatar build

00:15:11

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