Skip to content

S
stdpp
Status Job Pipeline Stage Name Timing Coverage
passed #62173
master
eeef6250
fp
#26068 by Robbert's avatar build build-coq.8.7.2

00:03:48

passed #62172
master
eeef6250
fp
#26068 by Robbert's avatar build build-coq.8.8.2

00:03:54

passed #62171
master
eeef6250
fp
#26068 by Robbert's avatar build build-coq.8.9.1

00:04:36

passed #62170
master
eeef6250
fp
#26068 by Robbert's avatar build build-coq.8.10.2

00:04:44

passed #62169
master
eeef6250
fp-timing
#26068 by Robbert's avatar build build-coq.8.11.0

00:04:20

passed #62168
master
eeef6250
fp
#26068 by Robbert's avatar build build-coq.8.11.dev

00:09:54

passed #62129
master
c6cd6c29
fp
#26063 by Robbert's avatar build build-coq.8.7.2

00:03:47

passed #62128
master
c6cd6c29
fp
#26063 by Robbert's avatar build build-coq.8.8.2

00:03:55

passed #62127
master
c6cd6c29
fp
#26063 by Robbert's avatar build build-coq.8.9.1

00:04:39

passed #62126
master
c6cd6c29
fp
#26063 by Robbert's avatar build build-coq.8.10.2

00:04:40

passed #62125
master
c6cd6c29
fp-timing
#26063 by Robbert's avatar build build-coq.8.11.0

00:04:16

passed #62124
master
c6cd6c29
fp
#26063 by Robbert's avatar build build-coq.8.11.dev

00:09:54

passed #61871
master
5439c7d5
fp
#25980 by Robbert's avatar build build-coq.8.7.2

00:03:35

passed #61870
master
5439c7d5
fp
#25980 by Robbert's avatar build build-coq.8.8.2

00:03:45

passed #61869
master
5439c7d5
fp
#25980 by Robbert's avatar build build-coq.8.9.1

00:04:13

passed #61868
master
5439c7d5
fp
#25980 by Robbert's avatar build build-coq.8.10.2

00:04:59

passed #61867
master
5439c7d5
fp-timing
#25980 by Robbert's avatar build build-coq.8.11.0

00:03:46

passed #61866
master
5439c7d5
fp
#25980 by Robbert's avatar build build-coq.8.11.dev

00:10:13

passed #61585
master
3ee6f2e4
fp
#25922 by Ralf Jung's avatar build build-coq.8.7.2

00:04:07

passed #61584
master
3ee6f2e4
fp
#25922 by Ralf Jung's avatar build build-coq.8.8.2

00:04:10

passed #61583
master
3ee6f2e4
fp
#25922 by Ralf Jung's avatar build build-coq.8.9.1

00:04:49

passed #61582
master
3ee6f2e4
fp
#25922 by Ralf Jung's avatar build build-coq.8.10.2

00:05:06

passed #61581
master
3ee6f2e4
fp-timing
#25922 by Ralf Jung's avatar build build-coq.8.11.0

00:04:16

passed #61580
master
3ee6f2e4
fp
#25922 by Ralf Jung's avatar build build-coq.8.11.dev

00:10:47

passed #61302
master
46844f29
fp
#25875 by Robbert's avatar build build-coq.8.7.2

00:03:21

passed #61301
master
46844f29
fp
#25875 by Robbert's avatar build build-coq.8.8.2

00:04:13

passed #61300
master
46844f29
fp
#25875 by Robbert's avatar build build-coq.8.9.1

00:04:40

passed #61299
master
46844f29
fp
#25875 by Robbert's avatar build build-coq.8.10.2

00:04:53

passed #61298
master
46844f29
fp-timing
#25875 by Robbert's avatar build build-coq.8.11.0

00:04:25

passed #61297
master
46844f29
fp
#25875 by Robbert's avatar build build-coq.8.11.dev

00:10:17