Skip to content

I
Iris
Status Job Pipeline Stage Name Timing Coverage
passed #44676
master
6cd681c3
fp
#20379 by Ralf Jung's avatar build build-coq.8.7.2

00:05:54

passed #44675
master
6cd681c3
fp
#20379 by Ralf Jung's avatar build build-coq.8.8.2

00:06:52

passed #44674
master
6cd681c3
fp-timing
#20379 by Ralf Jung's avatar build build-coq.8.9.0

00:05:50

passed #44673
master
6cd681c3
fp
#20379 by Ralf Jung's avatar build build-coq.8.9.1

00:07:21

passed #44672
master
6cd681c3
fp
#20379 by Ralf Jung's avatar build build-coq.8.10.dev

00:13:01

passed #44671
master
6cd681c3
fp
#20379 by Ralf Jung's avatar build build-coq.dev

00:15:34

passed #44134
master
1f83451a
fp
#20265 by Robbert's avatar build build-coq.8.7.2

00:06:06

passed #44133
master
1f83451a
fp
#20265 by Robbert's avatar build build-coq.8.8.2

00:06:52

passed #44132
master
1f83451a
fp-timing
#20265 by Robbert's avatar build build-coq.8.9.0

00:06:02

passed #44131
master
1f83451a
fp
#20265 by Robbert's avatar build build-coq.8.9.1

00:07:27

passed #44130
master
1f83451a
fp
#20265 by Robbert's avatar build build-coq.8.10.dev

00:12:51

passed #44129
master
1f83451a
fp
#20265 by Robbert's avatar build build-coq.dev

00:15:38

passed #43997
master
c5e1dc57
fp
#20227 by Ralf Jung's avatar build build-coq.8.7.2

00:05:50

passed #43996
master
c5e1dc57
fp
#20227 by Ralf Jung's avatar build build-coq.8.8.2

00:06:53

passed #43995
master
c5e1dc57
fp-timing
#20227 by Ralf Jung's avatar build build-coq.8.9.0

00:05:58

passed #43994
master
c5e1dc57
fp
#20227 by Ralf Jung's avatar build build-coq.8.9.1

00:07:19

passed #43993
master
c5e1dc57
fp
#20227 by Ralf Jung's avatar build build-coq.8.10.dev

00:12:55

passed #43992
master
c5e1dc57
fp
#20227 by Ralf Jung's avatar build build-coq.dev

00:15:26

passed #43795
master
15f1ac56
fp
#20169 by Ralf Jung's avatar build build-coq.8.7.2

00:05:49

passed #43794
master
15f1ac56
fp
#20169 by Ralf Jung's avatar build build-coq.8.8.2

00:08:13

passed #43793
master
15f1ac56
fp-timing
#20169 by Ralf Jung's avatar build build-coq.8.9.0

00:05:51

passed #43792
master
15f1ac56
fp
#20169 by Ralf Jung's avatar build build-coq.8.9.1

00:08:25

passed #43791
master
15f1ac56
fp
#20169 by Ralf Jung's avatar build build-coq.8.10.dev

00:13:12

passed #43790
master
15f1ac56
fp
#20169 by Ralf Jung's avatar build build-coq.dev

00:15:53

passed #43495
master
0a151fd4
fp
#20092 by Derek Dreyer's avatar build build-coq.8.7.2

00:05:55

passed #43494
master
0a151fd4
fp
#20092 by Derek Dreyer's avatar build build-coq.8.8.2

00:06:41

passed #43493
master
0a151fd4
fp-timing
#20092 by Derek Dreyer's avatar build build-coq.8.9.0

00:06:00

passed #43492
master
0a151fd4
fp
#20092 by Derek Dreyer's avatar build build-coq.8.9.1

00:07:22

passed #43491
master
0a151fd4
fp
#20092 by Derek Dreyer's avatar build build-coq.8.10.dev

00:12:58

passed #43490
master
0a151fd4
fp
#20092 by Derek Dreyer's avatar build build-coq.dev

00:15:41