Status Job Pipeline Stage Name Timing Coverage
passed #46932
master
6aa60678
fp
#21064 by Ralf Jung's avatar build build-coq.8.8.2

00:08:39

passed #46931
master
6aa60678
fp
#21064 by Ralf Jung's avatar build build-coq.8.9.0

00:09:31

passed #46930
master
6aa60678
fp
#21064 by Ralf Jung's avatar build build-coq.8.9.1

00:09:24

passed #46929
master
6aa60678
fp
#21064 by Ralf Jung's avatar build build-coq.8.10.0

00:10:01

passed #46928
master
6aa60678
fp-timing
#21064 by Ralf Jung's avatar build build-coq.8.10.1

00:06:57

passed #46927
master
6aa60678
fp
#21064 by Ralf Jung's avatar build build-coq.dev

00:16:27

passed #46924
master
43a77c99
fp
#21061 by Robbert's avatar build build-coq.8.8.2

00:09:02

passed #46923
master
43a77c99
fp
#21061 by Robbert's avatar build build-coq.8.9.0

00:09:42

passed #46922
master
43a77c99
fp
#21061 by Robbert's avatar build build-coq.8.9.1

00:09:43

passed #46921
master
43a77c99
fp
#21061 by Robbert's avatar build build-coq.8.10.0

00:09:59

passed #46920
master
43a77c99
fp-timing
#21061 by Robbert's avatar build build-coq.8.10.1

00:06:58

passed #46919
master
43a77c99
fp
#21061 by Robbert's avatar build build-coq.dev

00:16:41

passed #46875
master
c4116388
fp
#21037 by Robbert's avatar build build-coq.8.8.2

00:08:40

passed #46874
master
c4116388
fp
#21037 by Robbert's avatar build build-coq.8.9.0

00:09:37

passed #46873
master
c4116388
fp
#21037 by Robbert's avatar build build-coq.8.9.1

00:09:34

passed #46872
master
c4116388
fp
#21037 by Robbert's avatar build build-coq.8.10.0

00:10:00

passed #46871
master
c4116388
fp-timing
#21037 by Robbert's avatar build build-coq.8.10.1

00:07:05

passed #46870
master
c4116388
fp
#21037 by Robbert's avatar build build-coq.dev

00:16:36

passed #46855
master
4f3eb1ac
fp
#21028 by Ralf Jung's avatar build build-coq.8.8.2

00:06:02

passed #46854
master
4f3eb1ac
fp
#21028 by Ralf Jung's avatar build build-coq.8.9.0

00:06:25

passed #46853
master
4f3eb1ac
fp
#21028 by Ralf Jung's avatar build build-coq.8.9.1

00:09:00

passed #46852
master
4f3eb1ac
fp
#21028 by Ralf Jung's avatar build build-coq.8.10.0

00:09:34

passed #46851
master
4f3eb1ac
fp-timing
#21028 by Ralf Jung's avatar build build-coq.8.10.1

00:06:40

passed #46850
master
4f3eb1ac
fp
#21028 by Ralf Jung's avatar build build-coq.dev

00:16:42

passed #46849
master
a3ffa476
fp
#21027 by Ralf Jung's avatar build build-coq.8.8.2

00:08:03

passed #46848
master
a3ffa476
fp
#21027 by Ralf Jung's avatar build build-coq.8.9.0

00:08:19

passed #46847
master
a3ffa476
fp
#21027 by Ralf Jung's avatar build build-coq.8.9.1

00:08:34

passed #46846
master
a3ffa476
fp
#21027 by Ralf Jung's avatar build build-coq.8.10.0

00:09:25

passed #46845
master
a3ffa476
fp-timing
#21027 by Ralf Jung's avatar build build-coq.8.10.1

00:06:21

passed #46844
master
a3ffa476
fp
#21027 by Ralf Jung's avatar build build-coq.dev

00:18:45