Skip to content

S
stdpp
Status Job Pipeline Stage Name Timing Coverage
passed #48340
master
d2265de7
fp
#21495 by Ralf Jung's avatar build build-coq.8.7.2

00:04:32

passed #48339
master
d2265de7
fp
#21495 by Ralf Jung's avatar build build-coq.8.8.2

00:03:54

passed #48338
master
d2265de7
fp
#21495 by Ralf Jung's avatar build build-coq.8.9.1

00:05:13

passed #48337
master
d2265de7
fp-timing
#21495 by Ralf Jung's avatar build build-coq.8.10.1

00:04:27

passed #48336
master
d2265de7
fp
#21495 by Ralf Jung's avatar build build-coq.8.11.dev

00:11:08

passed #48335
master
d2265de7
fp
#21495 by Ralf Jung's avatar build build-coq.dev

00:11:23

passed #48334
master
16eb222f
fp allowed to fail
#21490 by Ralf Jung's avatar build build-coq.8.11.dev

00:10:34

passed #48329
master
16eb222f
fp
#21490 by Ralf Jung's avatar build build-coq.8.7.2

00:03:14

passed #48328
master
16eb222f
fp
#21490 by Ralf Jung's avatar build build-coq.8.8.2

00:03:01

passed #48327
master
16eb222f
fp
#21490 by Ralf Jung's avatar build build-coq.8.9.1

00:03:42

passed #48326
master
16eb222f
fp-timing
#21490 by Ralf Jung's avatar build build-coq.8.10.1

00:03:30

failed #48325
master
16eb222f
fp allowed to fail
#21490 by Ralf Jung's avatar build build-coq.8.11.dev

00:08:12

passed #48324
master
16eb222f
fp
#21490 by Ralf Jung's avatar build build-coq.dev

00:11:36

passed #48300
master
bc360fe8
fp
#21478 by Ralf Jung's avatar build build-coq.8.7.2

00:03:32

passed #48299
master
bc360fe8
fp
#21478 by Ralf Jung's avatar build build-coq.8.8.2

00:03:37

passed #48298
master
bc360fe8
fp
#21478 by Ralf Jung's avatar build build-coq.8.9.1

00:04:48

passed #48297
master
bc360fe8
fp-timing
#21478 by Ralf Jung's avatar build build-coq.8.10.1

00:03:39

failed #48296
master
bc360fe8
fp
#21478 by Ralf Jung's avatar build build-coq.8.11.dev

00:08:26

passed #48295
master
bc360fe8
fp
#21478 by Ralf Jung's avatar build build-coq.dev

00:11:52

passed #48288
master
7ae24ef3
fp
#21475 by Ralf Jung's avatar build build-coq.8.7.2

00:03:53

passed #48287
master
7ae24ef3
fp
#21475 by Ralf Jung's avatar build build-coq.8.8.2

00:03:50

passed #48286
master
7ae24ef3
fp
#21475 by Ralf Jung's avatar build build-coq.8.9.1

00:04:29

passed #48285
master
7ae24ef3
fp-timing
#21475 by Ralf Jung's avatar build build-coq.8.10.1

00:03:55

failed #48284
master
7ae24ef3
fp
#21475 by Ralf Jung's avatar build build-coq.8.11.dev

00:07:39

passed #48283
master
7ae24ef3
fp
#21475 by Ralf Jung's avatar build build-coq.dev

00:10:21

passed #48247
master
2b916512
fp
#21459 by Robbert's avatar build build-coq.8.7.2

00:12:19

passed #48246
master
2b916512
fp
#21459 by Robbert's avatar build build-coq.8.8.2

00:12:19

passed #48245
master
2b916512
fp
#21459 by Robbert's avatar build build-coq.8.9.1

00:12:38

passed #48244
master
2b916512
fp
#21459 by Robbert's avatar build build-coq.8.10.0

00:11:53

passed #48243
master
2b916512
fp-timing
#21459 by Robbert's avatar build build-coq.8.10.1

00:08:08