Status Job Pipeline Stage Name Coverage
passed #29969
ci/robbert/set_unfold
6d17dc6d
fp-timing
#16215 by Robbert's avatar build build-iris.dev

00:06:06

failed #29968
ci/robbert/set_unfold
250d81e4
fp-timing
#16214 by Robbert's avatar build build-iris.dev

00:00:51

passed #29959
ci/robbert/tc_opaque
bb0f3924
fp-timing
#16212 by Robbert's avatar build build-iris.dev

00:06:15

passed #29954
master
3f7f9f4e
fp
#16209 by Robbert's avatar build build-coq.8.7.1

00:05:05

passed #29953
master
3f7f9f4e
fp
#16209 by Robbert's avatar build build-coq.8.7.2

00:05:43

passed #29952
master
3f7f9f4e
fp-timing
#16209 by Robbert's avatar build build-coq.8.8.0

00:04:49

passed #29951
master
3f7f9f4e
fp
#16209 by Robbert's avatar build build-coq.8.8.2

00:05:43

passed #29950
master
3f7f9f4e
fp-timing
#16209 by Robbert's avatar build build-coq.8.9.0

00:05:23

passed #29949
master
3f7f9f4e
fp
#16209 by Robbert's avatar build build-coq.dev

00:12:41

passed #29601
master
60d28bbb
fp
#16127 by Robbert's avatar build build-coq.8.7.1

00:05:06

passed #29600
master
60d28bbb
fp
#16127 by Robbert's avatar build build-coq.8.7.2

00:05:43

passed #29599
master
60d28bbb
fp-timing
#16127 by Robbert's avatar build build-coq.8.8.0

00:04:45

passed #29598
master
60d28bbb
fp
#16127 by Robbert's avatar build build-coq.8.8.2

00:05:37

passed #29597
master
60d28bbb
fp-timing
#16127 by Robbert's avatar build build-coq.8.9.0

00:05:22

passed #29596
master
60d28bbb
fp
#16127 by Robbert's avatar build build-coq.dev

00:12:37

passed #29043
master
9d8af00a
fp
#15981 by Ralf Jung's avatar build build-coq.8.7.1

00:05:00

passed #29042
master
9d8af00a
fp
#15981 by Ralf Jung's avatar build build-coq.8.7.2

00:05:39

passed #29041
master
9d8af00a
fp-timing
#15981 by Ralf Jung's avatar build build-coq.8.8.0

00:04:38

passed #29040
master
9d8af00a
fp
#15981 by Ralf Jung's avatar build build-coq.8.8.2

00:05:40

passed #29039
master
9d8af00a
fp-timing
#15981 by Ralf Jung's avatar build build-coq.8.9.0

00:05:12

passed #29038
master
9d8af00a
fp
#15981 by Ralf Jung's avatar build build-coq.dev

00:12:37

passed #28997
master
4760ad33
fp
#15964 by Robbert's avatar build build-coq.8.7.1

00:05:03

passed #28996
master
4760ad33
fp
#15964 by Robbert's avatar build build-coq.8.7.2

00:05:42

passed #28995
master
4760ad33
fp-timing
#15964 by Robbert's avatar build build-coq.8.8.0

00:04:41

passed #28994
master
4760ad33
fp
#15964 by Robbert's avatar build build-coq.8.8.2

00:05:33

passed #28993
master
4760ad33
fp-timing
#15964 by Robbert's avatar build build-coq.8.9.0

00:06:18

passed #28992
master
4760ad33
fp
#15964 by Robbert's avatar build build-coq.dev

00:12:35

passed #28991
ci/robbert/tc_opaque
da79cccc
fp-timing
#15963 by Robbert's avatar build build-iris.dev

00:06:15

passed #28990
ci/robbert/tc_opaque
0ec9bdeb
fp-timing
#15962 by Robbert's avatar build build-coq.8.9.0

00:06:09

passed #28988
master
58ae11ed
fp
#15960 by Robbert's avatar build build-coq.8.7.1

00:05:07