Status Job Pipeline Stage Name Timing Coverage
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

passed #45910
master
57c481a9
fp-timing
#20714 by Ralf Jung's avatar build build-coq.8.9.0

00:13:51

passed #45778
master
19c4dba6
fp
#20683 by iris-dev's avatar build build-iris.dev

00:17:26

passed #45620
master
19c4dba6
fp
#20657 by iris-dev's avatar build build-iris.dev

00:17:36

passed #45447
master
19c4dba6
fp
#20631 by iris-dev's avatar build build-iris.dev

00:19:35

passed #45348
master
19c4dba6
fp
#20603 by iris-dev's avatar build build-iris.dev

00:17:28

passed #45294
master
19c4dba6
fp
#20588 by iris-dev's avatar build build-iris.dev

00:17:31

passed #45248
master
19c4dba6
fp
#20575 by iris-dev's avatar build build-iris.dev

00:18:57

passed #45179
master
19c4dba6
fp
#20553 by iris-dev's avatar build build-iris.dev

00:17:23

passed #45125
master
19c4dba6
fp
#20531 by iris-dev's avatar build build-iris.dev

00:17:30

passed #45006
master
19c4dba6
fp
#20495 by iris-dev's avatar build build-iris.dev

00:18:49

passed #44906
master
19c4dba6
fp-timing
#20462 by Ralf Jung's avatar build build-coq.8.9.0

00:06:17

passed #44878
master
1813cb14
fp
#20454 by iris-dev's avatar build build-iris.dev

00:17:31

passed #44793
master
1813cb14
fp
#20425 by iris-dev's avatar build build-iris.dev

00:17:26

passed #44762
master
1813cb14
fp
#20414 by iris-dev's avatar build build-iris.dev

00:17:31

passed #44721
master
1813cb14
fp
#20397 by iris-dev's avatar build build-iris.dev

00:18:57