Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.13.2 #181914
minor-notation-cleanup
ac310b6a
fp
#64366 by Gregory Malecha's avatar build

00:16:12

passed build-coq.8.14.1-mr #181913
minor-notation-cleanup
ac310b6a
fp
#64366 by Gregory Malecha's avatar build

00:17:18

failed build-coq.8.13.2 #175734
fixpoint-tele_arg
6be2aa4d
fp
#62981 by Gregory Malecha's avatar build

00:11:53

failed build-coq.8.14.1-mr #175733
fixpoint-tele_arg
6be2aa4d
fp
#62981 by Gregory Malecha's avatar build

00:13:10

failed build-coq.8.13.2 #174889
fixpoint-tele_arg
d2677091
fp
#62776 by Gregory Malecha's avatar build

00:11:52

failed build-coq.8.14.1-mr #174888
fixpoint-tele_arg
d2677091
fp
#62776 by Gregory Malecha's avatar build

00:13:14

failed build-coq.8.13.2 #174709
fixpoint-tele_arg
d2677091
fp
#62776 by Gregory Malecha's avatar build

failed build-coq.8.14.1-mr #174708
fixpoint-tele_arg
d2677091
fp
#62776 by Gregory Malecha's avatar build