Status Job Pipeline Stage Name Timing Coverage
passed #47192
master
8de152b1
fp-timing
#21163 by Ralf Jung's avatar build build-coq.8.10.1

00:06:37

passed #47175
master
f2637250
fp-timing
#21154 by Ralf Jung's avatar build build-coq.8.10.1

00:10:21

passed #47141
master
3092552d
fp
#21144 by iris-dev's avatar build build-iris.dev

00:23:05

passed #47083
master
3092552d
fp
#21124 by iris-dev's avatar build build-iris.dev

00:22:41

passed #47020
master
3092552d
fp
#21103 by iris-dev's avatar build build-iris.dev

00:20:34

passed #46957
master
3092552d
fp
#21073 by iris-dev's avatar build build-iris.dev

00:22:02

passed #46882
master
3092552d
fp
#21044 by iris-dev's avatar build build-iris.dev

00:22:30

passed #46869
master
3092552d
fp-timing
#21036 by Robbert's avatar build build-coq.8.10.1

00:09:58

passed #46836
master
dd32b1ff
fp-timing
#21024 by Ralf Jung's avatar build build-coq.8.10.1

00:15:48

passed #46835
ci/amin/fix-logrell-soundness
a390ee9b
fp-timing
#21023 by Ralf Jung's avatar build build-coq.8.10.1

00:16:13

passed #46834
master
a83f57e6
fp-timing
#21022 by Ralf Jung's avatar build build-coq.8.10.1

00:06:24

failed #46817
ci/amin/fix-logrell-soundness
f9ca9992
fp-timing
#21012 by Amin Timany's avatar build build-coq.8.10.1

00:13:02

canceled #46810
ci/amin/fix-logrell-soundness
43ed9a9f
fp-timing
#21007 by Amin Timany's avatar build build-coq.8.10.1

failed #46795
master
53fab07f
fp
#20997 by Ralf Jung's avatar build build-iris.dev

00:18:31

passed #46774
master
53fab07f
fp-timing
#20993 by Ralf Jung's avatar build build-coq.8.10.1

00:15:38

passed #46766
ci/amin/fix-logrell-soundness
5778e062
fp-timing
#20989 by Amin Timany's avatar build build-coq.8.10.1

00:06:24

passed #46704
master
f2c53bf9
fp-timing
#20973 by Ralf Jung's avatar build build-coq.8.10.1

00:15:30

failed #46671
master
f8f664fe
fp-timing
#20959 by Ralf Jung's avatar build build-coq.8.10.1

00:03:30

canceled #46659
master
9612d208
fp-timing
#20953 by Ralf Jung's avatar build build-coq.8.9.0

failed #46585
master
87ff31e9
fp
#20937 by iris-dev's avatar build build-iris.dev

00:16:47

passed #46465
master
87ff31e9
fp-timing
#20912 by Ralf Jung's avatar build build-coq.8.9.0

00:06:25

passed #46434
master
0c1aa0a0
fp
#20901 by iris-dev's avatar build build-iris.dev

00:19:49

passed #46357
master
0c1aa0a0
fp
#20877 by iris-dev's avatar build build-iris.dev

00:19:25

passed #46313
master
0c1aa0a0
fp
#20859 by iris-dev's avatar build build-iris.dev

00:19:09

passed #46269
master
0c1aa0a0
fp
#20839 by iris-dev's avatar build build-iris.dev

00:19:52

passed #46256
master
0c1aa0a0
fp-timing
#20831 by Ralf Jung's avatar build build-coq.8.9.0

00:11:00

failed #46237
master
034e63b6
fp
#20824 by Ralf Jung's avatar build build-iris.dev

00:16:33

passed #46236
master
034e63b6
fp-timing
#20823 by Ralf Jung's avatar build build-coq.8.9.0

00:06:24

failed #46190
master
57c481a9
fp
#20809 by iris-dev's avatar build build-iris.dev

00:18:22

passed #46023
master
57c481a9
fp
#20749 by iris-dev's avatar build build-iris.dev

00:18:23