Skip to content

S
stdpp
Status Job Pipeline Stage Name Timing Coverage
passed #79238
master
0a92e2be
fp
#31272 by Robbert's avatar build build-coq.8.8.2

00:04:05

passed #79237
master
0a92e2be
fp
#31272 by Robbert's avatar build build-coq.8.9.1

00:04:41

passed #79236
master
0a92e2be
fp
#31272 by Robbert's avatar build build-coq.8.10.2

00:04:53

passed #79235
master
0a92e2be
fp-timing
#31272 by Robbert's avatar build build-coq.8.11.2

00:04:20

passed #79234
master
0a92e2be
fp
#31272 by Robbert's avatar build build-coq.8.12.dev

00:10:44

passed #76988
master
c8129a37
fp
#30398 by Robbert's avatar build build-coq.8.8.2

00:03:54

passed #76987
master
c8129a37
fp
#30398 by Robbert's avatar build build-coq.8.9.1

00:04:39

passed #76986
master
c8129a37
fp
#30398 by Robbert's avatar build build-coq.8.10.2

00:04:50

passed #76985
master
c8129a37
fp-timing
#30398 by Robbert's avatar build build-coq.8.11.2

00:04:17

passed #76984
master
c8129a37
fp
#30398 by Robbert's avatar build build-coq.8.12.dev

00:10:35

passed #76913
master
04d69616
fp
#30350 by Robbert's avatar build build-coq.8.8.2

00:03:39

passed #76912
master
04d69616
fp
#30350 by Robbert's avatar build build-coq.8.9.1

00:04:18

passed #76911
master
04d69616
fp
#30350 by Robbert's avatar build build-coq.8.10.2

00:06:10

passed #76910
master
04d69616
fp-timing
#30350 by Robbert's avatar build build-coq.8.11.2

00:04:00

passed #76909
master
04d69616
fp
#30350 by Robbert's avatar build build-coq.8.12.dev

00:12:38

passed #76520
master
376e5e05
fp
#30172 by Robbert's avatar build build-coq.8.7.2

00:03:35

passed #76519
master
376e5e05
fp
#30172 by Robbert's avatar build build-coq.8.8.2

00:03:35

passed #76518
master
376e5e05
fp
#30172 by Robbert's avatar build build-coq.8.9.1

00:04:09

passed #76517
master
376e5e05
fp
#30172 by Robbert's avatar build build-coq.8.10.2

00:05:32

passed #76516
master
376e5e05
fp-timing
#30172 by Robbert's avatar build build-coq.8.11.2

00:03:52

passed #76515
master
376e5e05
fp
#30172 by Robbert's avatar build build-coq.8.12.dev

00:11:34

passed #75792
master
6ee0e09e
fp
#29927 by Robbert's avatar build build-coq.8.7.2

00:04:13

passed #75791
master
6ee0e09e
fp
#29927 by Robbert's avatar build build-coq.8.8.2

00:04:16

passed #75790
master
6ee0e09e
fp
#29927 by Robbert's avatar build build-coq.8.9.1

00:04:44

passed #75789
master
6ee0e09e
fp
#29927 by Robbert's avatar build build-coq.8.10.2

00:04:53

passed #75788
master
6ee0e09e
fp-timing
#29927 by Robbert's avatar build build-coq.8.11.2

00:04:11

passed #75787
master
6ee0e09e
fp
#29927 by Robbert's avatar build build-coq.8.12.dev

00:10:46

passed #75247
master
aa5e294c
fp
#29738 by Ralf Jung's avatar build build-coq.8.7.2

00:03:55

passed #75246
master
aa5e294c
fp
#29738 by Ralf Jung's avatar build build-coq.8.8.2

00:03:58

passed #75245
master
aa5e294c
fp
#29738 by Ralf Jung's avatar build build-coq.8.9.1

00:04:36