Status Job Pipeline Stage Name Timing Coverage
passed #42081
master
9795c36e
fp
#19748 by iris-dev's avatar build build-iris.dev

00:17:34

passed #41939
master
9795c36e
fp
#19724 by iris-dev's avatar build build-iris.dev

00:17:30

passed #41816
master
9795c36e
fp
#19706 by iris-dev's avatar build build-iris.dev

00:17:34

passed #41749
master
9795c36e
fp
#19686 by iris-dev's avatar build build-iris.dev

00:17:37

passed #41708
master
9795c36e
fp
#19671 by iris-dev's avatar build build-iris.dev

00:19:05

passed #41586
master
9795c36e
fp
#19641 by iris-dev's avatar build build-iris.dev

00:19:09

passed #41448
master
9795c36e
fp
#19620 by iris-dev's avatar build build-iris.dev

00:18:59

passed #41387
master
9795c36e
fp
#19600 by iris-dev's avatar build build-iris.dev

00:17:24

passed #41350
master
9795c36e
fp
#19588 by iris-dev's avatar build build-iris.dev

00:18:50

passed #41312
master
9795c36e
fp
#19575 by iris-dev's avatar build build-iris.dev

00:18:45

passed #41268
master
9795c36e
fp
#19561 by iris-dev's avatar build build-iris.dev

00:17:15

passed #41237
master
9795c36e
fp
#19550 by iris-dev's avatar build build-iris.dev

00:18:49

passed #41199
master
9795c36e
fp
#19537 by iris-dev's avatar build build-iris.dev

00:19:56

passed #41159
master
9795c36e
fp
#19524 by iris-dev's avatar build build-iris.dev

00:17:59

passed #41127
master
9795c36e
fp
#19512 by iris-dev's avatar build build-iris.dev

00:17:52

passed #41090
master
9795c36e
fp
#19499 by iris-dev's avatar build build-iris.dev

00:17:59

passed #41041
master
9795c36e
fp
#19485 by iris-dev's avatar build build-iris.dev

00:17:59

passed #41010
master
9795c36e
fp
#19474 by iris-dev's avatar build build-iris.dev

00:17:59

passed #40960
master
9795c36e
fp
#19461 by iris-dev's avatar build build-iris.dev

00:19:37

passed #40862
master
9795c36e
fp
#19438 by iris-dev's avatar build build-iris.dev

00:19:34

passed #40847
master
9795c36e
fp-timing
#19430 by Ralf Jung's avatar build build-coq.8.9.0

00:06:22

passed #40831
master
c0a33a82
fp-timing
#19423 by Ralf Jung's avatar build build-coq.8.9.0

00:19:18

passed #40776
master
918aa45d
fp
#19401 by Ralf Jung's avatar build build-iris.dev

00:18:46

passed #40744
master
918aa45d
fp
#19394 by iris-dev's avatar build build-iris.dev

00:17:25

passed #40692
master
918aa45d
fp
#19379 by iris-dev's avatar build build-iris.dev

00:19:12

passed #40633
master
918aa45d
fp
#19362 by iris-dev's avatar build build-iris.dev

00:19:12

passed #40539
master
918aa45d
fp
#19339 by iris-dev's avatar build build-iris.dev

00:20:09

passed #40490
master
918aa45d
fp
#19321 by iris-dev's avatar build build-iris.dev

00:19:02

passed #40427
master
918aa45d
fp
#19302 by iris-dev's avatar build build-iris.dev

00:18:49

passed #40209
master
918aa45d
fp
#19258 by iris-dev's avatar build build-iris.dev

00:17:19