Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.10.2 #123137
master
0ad25f97
fp
#44976 by Lennard Gäher's avatar build

00:13:09

passed build-coq.8.10.2 #106556
master
904f6c86
fp
#39194 by Simon Spies's avatar build

00:16:27

passed build-coq.8.10.2 #105202
master
c2247c3a
fp
#38800 by Lennard Gäher's avatar build

00:13:07

passed build-coq.8.10.2 #104498
master
4d112423
fp
#38571 by Ralf Jung's avatar build

00:19:24

canceled build-coq.8.10.2 #104497
master
52fe6ce9
fp-timing
#38570 by Lennard Gäher's avatar build