Skip to content

I
Iris
Status Job Pipeline Stage Name Timing Coverage
passed #39594
master
0c4e2984
fp
#19114 by Robbert's avatar build build-coq.8.7.2

00:06:08

passed #39593
master
0c4e2984
fp
#19114 by Robbert's avatar build build-coq.8.8.2

00:06:45

passed #39592
master
0c4e2984
fp-timing
#19114 by Robbert's avatar build build-coq.8.9.0

00:05:53

passed #39591
master
0c4e2984
fp
#19114 by Robbert's avatar build build-coq.8.9.1

00:11:48

passed #39590
master
0c4e2984
fp
#19114 by Robbert's avatar build build-coq.8.10.dev

00:13:19

passed #39589
master
0c4e2984
fp
#19114 by Robbert's avatar build build-coq.dev

00:14:43

passed #39435
master
5fa04408
fp
#19075 by Ralf Jung's avatar build build-coq.8.7.2

00:05:46

passed #39434
master
5fa04408
fp
#19075 by Ralf Jung's avatar build build-coq.8.8.2

00:06:39

passed #39433
master
5fa04408
fp-timing
#19075 by Ralf Jung's avatar build build-coq.8.9.0

00:05:58

passed #39432
master
5fa04408
fp
#19075 by Ralf Jung's avatar build build-coq.8.9.1

00:07:11

passed #39431
master
5fa04408
fp
#19075 by Ralf Jung's avatar build build-coq.8.10.dev

00:12:47

passed #39430
master
5fa04408
fp
#19075 by Ralf Jung's avatar build build-coq.dev

00:14:13

passed #39319
master
ffccb508
fp
#19054 by Ralf Jung's avatar build build-coq.8.7.2

00:06:42

passed #39318
master
ffccb508
fp
#19054 by Ralf Jung's avatar build build-coq.8.8.2

00:07:53

passed #39317
master
ffccb508
fp-timing
#19054 by Ralf Jung's avatar build build-coq.8.9.0

00:07:18

passed #39316
master
ffccb508
fp
#19054 by Ralf Jung's avatar build build-coq.8.9.1

00:08:27

passed #39315
master
ffccb508
fp
#19054 by Ralf Jung's avatar build build-coq.8.10.dev

00:13:04

passed #39314
master
ffccb508
fp
#19054 by Ralf Jung's avatar build build-coq.dev

00:14:31

passed #39232
master
c1d6ef7f
fp
#19016 by Robbert's avatar build build-coq.8.7.2

00:08:00

passed #39231
master
c1d6ef7f
fp
#19016 by Robbert's avatar build build-coq.8.8.2

00:07:50

passed #39230
master
c1d6ef7f
fp-timing
#19016 by Robbert's avatar build build-coq.8.9.0

00:07:00

passed #39229
master
c1d6ef7f
fp
#19016 by Robbert's avatar build build-coq.8.9.1

00:08:24

passed #39228
master
c1d6ef7f
fp
#19016 by Robbert's avatar build build-coq.8.10.dev

00:13:22

passed #39227
master
c1d6ef7f
fp
#19016 by Robbert's avatar build build-coq.dev

00:15:33

passed #39210
master
b6d1a1d6
fp
#19004 by Ralf Jung's avatar build build-coq.8.7.2

00:06:20

passed #39209
master
b6d1a1d6
fp
#19004 by Ralf Jung's avatar build build-coq.8.8.2

00:06:48

passed #39208
master
b6d1a1d6
fp-timing
#19004 by Ralf Jung's avatar build build-coq.8.9.0

00:05:54

passed #39207
master
b6d1a1d6
fp
#19004 by Ralf Jung's avatar build build-coq.8.9.1

00:07:16

passed #39206
master
b6d1a1d6
fp
#19004 by Ralf Jung's avatar build build-coq.8.10.dev

00:13:26

passed #39205
master
b6d1a1d6
fp
#19004 by Ralf Jung's avatar build build-coq.dev

00:14:54