Status Job Pipeline Stage Name Timing Coverage
passed #53198
master
7e0096d8
fp
#22975 by Robbert's avatar build build-coq.8.7.2

00:03:48

passed #53197
master
7e0096d8
fp
#22975 by Robbert's avatar build build-coq.8.8.2

00:03:43

passed #53196
master
7e0096d8
fp
#22975 by Robbert's avatar build build-coq.8.9.1

00:04:37

passed #53195
master
7e0096d8
fp-timing
#22975 by Robbert's avatar build build-coq.8.10.2

00:03:59

passed #53194
master
7e0096d8
fp
#22975 by Robbert's avatar build build-coq.8.11.dev

00:10:24

passed #53193
master
7e0096d8
fp
#22975 by Robbert's avatar build build-coq.dev

00:10:33

passed #53114
master
50efdf9c
fp
#22940 by Robbert's avatar build build-coq.8.7.2

00:03:39

passed #53113
master
50efdf9c
fp
#22940 by Robbert's avatar build build-coq.8.8.2

00:03:48

passed #53112
master
50efdf9c
fp
#22940 by Robbert's avatar build build-coq.8.9.1

00:04:38

passed #53111
master
50efdf9c
fp-timing
#22940 by Robbert's avatar build build-coq.8.10.2

00:03:59

passed #53110
master
50efdf9c
fp
#22940 by Robbert's avatar build build-coq.8.11.dev

00:09:31

passed #53109
master
50efdf9c
fp
#22940 by Robbert's avatar build build-coq.dev

00:09:29

passed #52888
master
ec91c14f
fp
#22876 by Robbert's avatar build build-coq.8.7.2

00:03:42

passed #52887
master
ec91c14f
fp
#22876 by Robbert's avatar build build-coq.8.8.2

00:03:44

passed #52886
master
ec91c14f
fp
#22876 by Robbert's avatar build build-coq.8.9.1

00:04:37

passed #52885
master
ec91c14f
fp-timing
#22876 by Robbert's avatar build build-coq.8.10.2

00:04:07

passed #52884
master
ec91c14f
fp
#22876 by Robbert's avatar build build-coq.8.11.dev

00:09:37

passed #52883
master
ec91c14f
fp
#22876 by Robbert's avatar build build-coq.dev

00:09:33

passed #52734
master
254512a9
fp
#22805 by Ralf Jung's avatar build build-coq.8.7.2

00:03:05

passed #52733
master
254512a9
fp
#22805 by Ralf Jung's avatar build build-coq.8.8.2

00:03:07

passed #52732
master
254512a9
fp
#22805 by Ralf Jung's avatar build build-coq.8.9.1

00:03:27

passed #52731
master
254512a9
fp-timing
#22805 by Ralf Jung's avatar build build-coq.8.10.2

00:03:27

passed #52730
master
254512a9
fp
#22805 by Ralf Jung's avatar build build-coq.8.11.dev

00:09:29

passed #52729
master
254512a9
fp
#22805 by Ralf Jung's avatar build build-coq.dev

00:10:31

passed #52713
master
449b53e9
fp
#22798 by Ralf Jung's avatar build build-coq.8.7.2

00:03:15

passed #52712
master
449b53e9
fp
#22798 by Ralf Jung's avatar build build-coq.8.8.2

00:03:16

passed #52711
master
449b53e9
fp
#22798 by Ralf Jung's avatar build build-coq.8.9.1

00:03:55

passed #52710
master
449b53e9
fp-timing
#22798 by Ralf Jung's avatar build build-coq.8.10.2

00:03:29

passed #52709
master
449b53e9
fp
#22798 by Ralf Jung's avatar build build-coq.8.11.dev

00:09:43

passed #52708
master
449b53e9
fp-timing
#22798 by Ralf Jung's avatar build build-coq.dev

00:12:05