Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.11.2 #177312
multiset-lemmas
efe73fee
fp
#63318 by Léo Stefanesco's avatar build

00:04:21

passed build-coq.8.14.1-mr #177311
multiset-lemmas
efe73fee
fp
#63318 by Léo Stefanesco's avatar build

00:04:16

passed build-coq.8.11.2 #176543
multiset-lemmas
b704b31a
fp
#63146 by Léo Stefanesco's avatar build

00:09:57

passed build-coq.8.14.1-mr #176542
multiset-lemmas
b704b31a
fp
#63146 by Léo Stefanesco's avatar build

00:10:48