Status Job Pipeline Stage Name Timing Coverage
passed #64154
master
efcb9e71
fp
#26474 by iris-dev's avatar build build-iris.dev

00:30:30

passed #63962
master
efcb9e71
fp
#26417 by iris-dev's avatar build build-iris.dev

00:29:44

passed #63720
master
efcb9e71
fp
#26348 by iris-dev's avatar build build-iris.dev

00:29:56

passed #63653
master
efcb9e71
fp
#26325 by Ralf Jung's avatar build build-coq.8.10.2

00:17:40

passed #63652
master
efcb9e71
fp-timing
#26325 by Ralf Jung's avatar build build-coq.8.11.0

00:16:18

passed #63359
master
1761de57
fp
#26253 by iris-dev's avatar build build-iris.dev

00:31:42

passed #63268
master
1761de57
fp
#26232 by Ralf Jung's avatar build build-coq.8.10.2

00:16:53

passed #63267
master
1761de57
fp-timing
#26232 by Ralf Jung's avatar build build-coq.8.11.0

00:16:21

passed #63098
master
3283d659
fp
#26211 by Hai Dang's avatar build build-coq.8.10.2

00:12:46

passed #63097
master
3283d659
fp-timing
#26211 by Hai Dang's avatar build build-coq.8.11.0

00:12:10

passed #62981
master
5ec5ed2a
fp
#26195 by Hai Dang's avatar build build-coq.8.10.2

00:12:34

passed #62980
master
5ec5ed2a
fp-timing
#26195 by Hai Dang's avatar build build-coq.8.11.0

00:12:02

canceled #62979
master
d54909c2
fp
#26194 by Hai Dang's avatar build build-coq.8.10.2

00:02:09

canceled #62978
master
d54909c2
fp-timing
#26194 by Hai Dang's avatar build build-coq.8.11.0

passed #62782
master
848c1c07
fp
#26177 by iris-dev's avatar build build-iris.dev

00:29:32

passed #62377
master
848c1c07
fp
#26130 by iris-dev's avatar build build-iris.dev

00:29:59

passed #62311
master
848c1c07
fp
#26112 by Ralf Jung's avatar build build-coq.8.10.2

00:19:59

passed #62310
master
848c1c07
fp-timing
#26112 by Ralf Jung's avatar build build-coq.8.11.0

00:17:19

failed #62285
master
418ccd9a
fp
#26099 by Ralf Jung's avatar build build-coq.8.10.2

00:08:28

failed #62284
master
418ccd9a
fp-timing
#26099 by Ralf Jung's avatar build build-coq.8.11.0

00:07:16

passed #62236
master
404be4bf
fp
#26083 by iris-dev's avatar build build-iris.dev

00:29:41

passed #62060
master
404be4bf
fp
#26043 by Ralf Jung's avatar build build-coq.8.10.2

00:18:05

passed #62059
master
404be4bf
fp-timing
#26043 by Ralf Jung's avatar build build-coq.8.11.0

00:17:19

passed #61981
master
5e902788
fp
#26025 by iris-dev's avatar build build-iris.dev

00:29:54

passed #61824
master
5e902788
fp
#25968 by iris-dev's avatar build build-iris.dev

00:31:09

passed #61551
master
5e902788
fp
#25914 by iris-dev's avatar build build-iris.dev

00:29:49

passed #61138
master
5e902788
fp
#25846 by iris-dev's avatar build build-iris.dev

00:26:20

failed #61056
master
5e902788
fp
#25846 by iris-dev's avatar build build-iris.dev

00:02:12

passed #60932
master
5e902788
fp
#25821 by Ralf Jung's avatar build build-coq.8.10.2

00:19:10

passed #60931
master
5e902788
fp-timing
#25821 by Ralf Jung's avatar build build-coq.8.11.0

00:16:15