Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.11.2 #182945
fixpoint-tele_arg
9d0192a9
fp
#64598 by Gregory Malecha's avatar build

00:07:47

passed build-coq.8.14.1-mr #182944
fixpoint-tele_arg
9d0192a9
fp
#64598 by Gregory Malecha's avatar build

00:04:28

canceled build-coq.8.11.2 #182943
fixpoint-tele_arg
0feaf1f0
fp
#64597 by Gregory Malecha's avatar build

00:00:57

canceled build-coq.8.14.1-mr #182942
fixpoint-tele_arg
0feaf1f0
fp
#64597 by Gregory Malecha's avatar build

00:01:00

passed build-coq.8.11.2 #181916
fixpoint-tele_arg
298e7fcf
fp
#64367 by Gregory Malecha's avatar build

00:05:20

passed build-coq.8.14.1-mr #181915
fixpoint-tele_arg
298e7fcf
fp
#64367 by Gregory Malecha's avatar build

00:05:11

passed build-coq.8.11.2 #181906
fixpoint-tele_arg
9c37da7e
fp
#64360 by Gregory Malecha's avatar build

00:04:58

passed build-coq.8.14.1-mr #181905
fixpoint-tele_arg
9c37da7e
fp
#64360 by Gregory Malecha's avatar build

00:04:56

canceled build-coq.8.11.2 #181904
fixpoint-tele_arg
18385d36
fp
#64359 by Gregory Malecha's avatar build

00:02:44

canceled build-coq.8.14.1-mr #181903
fixpoint-tele_arg
18385d36
fp
#64359 by Gregory Malecha's avatar build

00:02:47

passed build-coq.8.11.2 #180340
fixpoint-tele_arg
c558023a
fp
#63929 by Gregory Malecha's avatar build

00:04:48

passed build-coq.8.14.1-mr #180339
fixpoint-tele_arg
c558023a
fp
#63929 by Gregory Malecha's avatar build

00:04:36

canceled build-coq.8.11.2 #180338
fixpoint-tele_arg
7c74cf0c
fp
#63928 by Gregory Malecha's avatar build

00:02:42

canceled build-coq.8.14.1-mr #180337
fixpoint-tele_arg
7c74cf0c
fp
#63928 by Gregory Malecha's avatar build

00:02:43

passed build-coq.8.11.2 #176515
fixpoint-tele_arg
d95dc959
fp
#63142 by Gregory Malecha's avatar build

00:04:16

passed build-coq.8.14.1-mr #176514
fixpoint-tele_arg
d95dc959
fp
#63142 by Gregory Malecha's avatar build

00:04:11

passed build-coq.8.11.2 #175900
fixpoint-tele_arg
eb3f002c
fp
#63022 by Gregory Malecha's avatar build

00:04:16

passed build-coq.8.14.1-mr #175899
fixpoint-tele_arg
eb3f002c
fp
#63022 by Gregory Malecha's avatar build

00:04:10

passed build-coq.8.11.2 #175758
fixpoint-tele_arg
df375094
fp
#63000 by Gregory Malecha's avatar build

00:04:11

passed build-coq.8.14.1-mr #175757
fixpoint-tele_arg
df375094
fp
#63000 by Gregory Malecha's avatar build

00:04:03

canceled build-coq.8.11.2 #175756
fixpoint-tele_arg
18e02fe6
fp
#62999 by Gregory Malecha's avatar build

00:02:12

canceled build-coq.8.14.1-mr #175755
fixpoint-tele_arg
18e02fe6
fp
#62999 by Gregory Malecha's avatar build

00:02:13

passed build-coq.8.11.2 #175754
fixpoint-tele_arg
455f5701
fp
#62998 by Gregory Malecha's avatar build

00:04:14

passed build-coq.8.14.1-mr #175753
fixpoint-tele_arg
455f5701
fp
#62998 by Gregory Malecha's avatar build

00:04:05

passed build-coq.8.11.2 #175736
fixpoint-tele_arg
1426015d
fp
#62982 by Gregory Malecha's avatar build

00:04:31

passed build-coq.8.14.1-mr #175735
fixpoint-tele_arg
1426015d
fp
#62982 by Gregory Malecha's avatar build

00:04:20

failed build-coq.8.11.2 #175732
fixpoint-tele_arg
cd53abd2
fp
#62980 by Gregory Malecha's avatar build

00:03:26

passed build-coq.8.14.1-mr #175731
fixpoint-tele_arg
cd53abd2
fp
#62980 by Gregory Malecha's avatar build

00:04:36

canceled build-coq.8.11.2 #175730
fixpoint-tele_arg
6e699f67
fp
#62979 by Gregory Malecha's avatar build

00:01:37

canceled build-coq.8.14.1-mr #175729
fixpoint-tele_arg
6e699f67
fp
#62979 by Gregory Malecha's avatar build

00:01:42