Skip to content

I
Iris
Status Job Pipeline Stage Name Timing Coverage
passed #53605
master
676a5302
fp
#23084 by Robbert's avatar build build-coq.8.8.2

00:06:40

passed #53604
master
676a5302
fp
#23084 by Robbert's avatar build build-coq.8.9.1

00:07:10

passed #53603
master
676a5302
fp-timing
#23084 by Robbert's avatar build build-coq.8.10.2

00:06:15

passed #53602
master
676a5302
fp
#23084 by Robbert's avatar build build-coq.8.11.dev

00:13:41

passed #53601
master
676a5302
fp-timing
#23084 by Robbert's avatar build build-coq.dev

00:11:42

passed #53495
master
b1736f2f
fp
#23069 by Robbert's avatar build build-coq.8.8.2

00:06:25

passed #53494
master
b1736f2f
fp
#23069 by Robbert's avatar build build-coq.8.9.1

00:07:01

passed #53493
master
b1736f2f
fp-timing
#23069 by Robbert's avatar build build-coq.8.10.2

00:06:15

passed #53492
master
b1736f2f
fp
#23069 by Robbert's avatar build build-coq.8.11.dev

00:13:33

passed #53491
master
b1736f2f
fp-timing
#23069 by Robbert's avatar build build-coq.dev

00:11:40

passed #53204
master
446bc644
fp
#22977 by Robbert's avatar build build-coq.8.8.2

00:08:41

passed #53203
master
446bc644
fp
#22977 by Robbert's avatar build build-coq.8.9.1

00:09:06

passed #53202
master
446bc644
fp-timing
#22977 by Robbert's avatar build build-coq.8.10.2

00:07:20

passed #53201
master
446bc644
fp
#22977 by Robbert's avatar build build-coq.8.11.dev

00:14:50

passed #53200
master
446bc644
fp-timing
#22977 by Robbert's avatar build build-coq.dev

00:11:45

passed #53128
master
5088d5b0
fp
#22946 by Robbert's avatar build build-coq.8.8.2

00:06:16

passed #53127
master
5088d5b0
fp
#22946 by Robbert's avatar build build-coq.8.9.1

00:09:43

passed #53126
master
5088d5b0
fp-timing
#22946 by Robbert's avatar build build-coq.8.10.2

00:06:18

passed #53125
master
5088d5b0
fp
#22946 by Robbert's avatar build build-coq.8.11.dev

00:15:15

passed #53124
master
5088d5b0
fp-timing
#22946 by Robbert's avatar build build-coq.dev

00:11:40

passed #53123
master
62d3e6cb
fp
#22945 by Robbert's avatar build build-coq.8.8.2

00:09:13

passed #53122
master
62d3e6cb
fp
#22945 by Robbert's avatar build build-coq.8.9.1

00:09:45

passed #53121
master
62d3e6cb
fp-timing
#22945 by Robbert's avatar build build-coq.8.10.2

00:07:32

passed #53120
master
62d3e6cb
fp
#22945 by Robbert's avatar build build-coq.8.11.dev

00:15:48

passed #53119
master
62d3e6cb
fp-timing
#22945 by Robbert's avatar build build-coq.dev

00:11:44

passed #52991
master
d02b774e
fp
#22910 by Ralf Jung's avatar build build-coq.8.8.2

00:06:37

passed #52990
master
d02b774e
fp
#22910 by Ralf Jung's avatar build build-coq.8.9.1

00:07:00

passed #52989
master
d02b774e
fp-timing
#22910 by Ralf Jung's avatar build build-coq.8.10.2

00:06:14

passed #52988
master
d02b774e
fp
#22910 by Ralf Jung's avatar build build-coq.8.11.dev

00:13:42

passed #52987
master
d02b774e
fp-timing
#22910 by Ralf Jung's avatar build build-coq.dev

00:11:35