Status Name Job Pipeline Stage Duration Coverage
passed build-coq.dev #137840
fixpoint-lemmas
ee6a9043
fp
#51226 by Lennard Gäher's avatar build

00:18:24

passed build-coq.8.12.2 #137839
fixpoint-lemmas
ee6a9043
fp
#51226 by Lennard Gäher's avatar build

00:15:57

failed build-coq.8.12.2 #137475
fixpoint-lemmas
ee6a9043
fp
#51226 by Lennard Gäher's avatar build

failed build-coq.dev #137474
fixpoint-lemmas
ee6a9043
fp
#51226 by Lennard Gäher's avatar build

failed build-coq.8.12.2 #137119
fixpoint-lemmas
8b91a56a
fp
#51144 by Lennard Gäher's avatar build

failed build-coq.dev #137118
fixpoint-lemmas
8b91a56a
fp
#51144 by Lennard Gäher's avatar build