Skip to content

S
stdpp
Status Job Pipeline Stage Name Coverage
passed #21300
master
1516b839
fp
#13427 by Robbert's avatar build build-coq.8.7.0

00:02:36

passed #21299
master
1516b839
fp
#13427 by Robbert's avatar build build-coq.8.7.1

00:02:35

passed #21298
master
1516b839
fp-timing
#13427 by Robbert's avatar build build-coq.8.7.2

00:02:31

passed #21297
master
1516b839
fp-timing
#13427 by Robbert's avatar build build-coq.8.8.0

00:02:42

passed #21296
master
1516b839
fp
#13427 by Robbert's avatar build build-coq.8.8.1

00:02:45

passed #21295
master
1516b839
fp
#13427 by Robbert's avatar build build-coq.8.8.2

00:02:50

passed #21294
master
1516b839
fp
#13427 by Robbert's avatar build build-coq.8.9.dev

00:03:51

passed #21293
master
1516b839
fp
#13427 by Robbert's avatar build build-coq.dev

00:04:52

passed #21266
master
020f31f4
fp
#13413 by Ralf Jung's avatar build build-coq.8.7.0

00:02:39

passed #21265
master
020f31f4
fp
#13413 by Ralf Jung's avatar build build-coq.8.7.1

00:02:42

passed #21264
master
020f31f4
fp-timing
#13413 by Ralf Jung's avatar build build-coq.8.7.2

00:02:31

passed #21263
master
020f31f4
fp-timing
#13413 by Ralf Jung's avatar build build-coq.8.8.0

00:02:42

passed #21262
master
020f31f4
fp
#13413 by Ralf Jung's avatar build build-coq.8.8.1

00:02:52

passed #21261
master
020f31f4
fp
#13413 by Ralf Jung's avatar build build-coq.8.8.2

00:02:52

passed #21260
master
020f31f4
fp
#13413 by Ralf Jung's avatar build build-coq.8.9.dev

00:07:05

passed #21259
master
020f31f4
fp
#13413 by Ralf Jung's avatar build build-coq.dev

00:15:58

passed #21165
master
9cbafb67
fp
#13362 by Robbert's avatar build build-coq.8.7.0

00:02:34

passed #21164
master
9cbafb67
fp
#13362 by Robbert's avatar build build-coq.8.7.1

00:02:38

passed #21163
master
9cbafb67
fp-timing
#13362 by Robbert's avatar build build-coq.8.7.2

00:02:40

passed #21162
master
9cbafb67
fp-timing
#13362 by Robbert's avatar build build-coq.8.8.0

00:02:47

passed #21161
master
9cbafb67
fp
#13362 by Robbert's avatar build build-coq.8.8.1

00:03:01

passed #21160
master
9cbafb67
fp
#13362 by Robbert's avatar build build-coq.8.8.2

00:02:53

passed #21159
master
9cbafb67
fp
#13362 by Robbert's avatar build build-coq.8.9.dev

00:07:19

passed #21158
master
9cbafb67
fp
#13362 by Robbert's avatar build build-coq.dev

00:15:25

passed #20892
master
005887ee
fp
#13187 by Robbert's avatar build build-coq.8.7.0

00:02:35

passed #20891
master
005887ee
fp
#13187 by Robbert's avatar build build-coq.8.7.1

00:03:00

passed #20890
master
005887ee
fp-timing
#13187 by Robbert's avatar build build-coq.8.7.2

00:02:45

passed #20889
master
005887ee
fp-timing
#13187 by Robbert's avatar build build-coq.8.8.0

00:02:41

passed #20888
master
005887ee
fp
#13187 by Robbert's avatar build build-coq.8.8.1

00:03:00

passed #20887
master
005887ee
fp
#13187 by Robbert's avatar build build-coq.8.8.2

00:02:42