Status Job Pipeline Stage Name Coverage
passed #14678
ci/gen_proofmode
c66c1684
fp
#9978 by Ralf Jung's avatar build build-iris.dev

17:03

passed #14677
master
fd7fefe4
fp
#9977 by Ralf Jung's avatar build build-iris.dev

13:53

passed #14631
ci/weak_mem
d0bddf4a
fp-timing
#9957 by Hoang-Hai Dang's avatar build build-coq.8.7.2

32:14

passed #14588
ci/gen_proofmode
c66c1684
fp
#9944 by Robbert's avatar build build-coq.8.7.2

17:40

passed #14587
ci/gen_proofmode
c66c1684
fp-timing
#9944 by Robbert's avatar build build-coq.8.8.0

17:19

failed #14538
ci/gen_proofmode
903cec2c
fp
#9920 by Ralf Jung's avatar build build-iris.dev

07:47

passed #14537
master
fd7fefe4
fp
#9919 by Ralf Jung's avatar build build-iris.dev

10:34

failed #14487
ci/gen_proofmode
903cec2c
fp
#9893 by Ralf Jung's avatar build build-iris.dev

08:00

passed #14486
master
fd7fefe4
fp
#9892 by Ralf Jung's avatar build build-iris.dev

13:22

passed #14429
ci/weak_mem
24510ab4
fp-timing
#9875 by Hoang-Hai Dang's avatar build build-coq.8.7.2

31:38

passed #14379
ci/gen_proofmode
903cec2c
fp
#9852 by Ralf Jung's avatar build build-iris.dev

16:13

passed #14378
master
fd7fefe4
fp
#9851 by Ralf Jung's avatar build build-iris.dev

11:25

passed #14377
ci/weak_mem
bfafd1a7
fp-timing
#9850 by Hoang-Hai Dang's avatar build build-coq.8.7.2

31:39

passed #14372
ci/weak_mem
d195ea2d
fp-timing
#9846 by Hoang-Hai Dang's avatar build build-coq.8.7.2

35:03

passed #14311
ci/gen_proofmode
903cec2c
fp
#9828 by Ralf Jung's avatar build build-iris.dev

16:16

passed #14310
master
fd7fefe4
fp
#9827 by Ralf Jung's avatar build build-iris.dev

11:11

passed #14232
ci/gen_proofmode
903cec2c
fp
#9802 by Ralf Jung's avatar build build-coq.8.7.2

17:36

passed #14231
ci/gen_proofmode
903cec2c
fp-timing
#9802 by Ralf Jung's avatar build build-coq.8.8.0

16:49

failed #14218
ci/gen_proofmode
d042ea53
fp
#9791 by Ralf Jung's avatar build build-iris.dev

07:10

passed #14217
master
fd7fefe4
fp
#9790 by Ralf Jung's avatar build build-iris.dev

11:00

passed #14149
ci/gen_proofmode
d042ea53
fp
#9761 by Ralf Jung's avatar build build-iris.dev

17:33

passed #14148
master
fd7fefe4
fp
#9760 by Ralf Jung's avatar build build-iris.dev

16:26

passed #14087
ci/weak_mem
a34711e9
fp-timing
#9735 by Jacques-Henri Jourdan's avatar build build-coq.8.7.2

35:21

passed #14077
ci/gen_proofmode
d042ea53
fp
#9731 by Ralf Jung's avatar build build-iris.dev

17:15

failed #14052
ci/weak_mem
bbec5d6f
fp-timing
#9721 by Jacques-Henri Jourdan's avatar build build-coq.8.7.2

15:53

failed #14016
ci/weak_mem
2fa2b298
fp-timing
#9697 by Jacques-Henri Jourdan's avatar build build-coq.8.7.2

27:18

failed #13983
ci/weak_mem
2fa2b298
fp-timing
#9697 by Jacques-Henri Jourdan's avatar build build-coq.8.7.2

27:14

passed #13967
ci/gen_proofmode
d042ea53
fp
#9685 by Ralf Jung's avatar build build-iris.dev

15:59

passed #13966
master
fd7fefe4
fp
#9684 by Ralf Jung's avatar build build-iris.dev

11:15

passed #13895
ci/gen_proofmode
d042ea53
fp
#9653 by Ralf Jung's avatar build build-iris.dev

16:08