Status Job Pipeline Stage Name Coverage
passed #15041
ci/gen_proofmode
791a505d
fp
#10122 by Ralf Jung's avatar build build-coq.8.7.2

10:45

passed #15040
ci/gen_proofmode
791a505d
fp-timing
#10122 by Ralf Jung's avatar build build-coq.8.8.0

11:24

passed #15039
master
3aa2c6c8
fp
#10121 by Ralf Jung's avatar build build-coq.8.7.2

08:55

passed #15038
master
3aa2c6c8
fp-timing
#10121 by Ralf Jung's avatar build build-coq.8.8.0

09:56

passed #15029
ci/gen_proofmode
dd70d96a
fp
#10117 by Ralf Jung's avatar build build-iris.dev

10:42

failed #15023
master
b6f3e75d
fp
#10111 by Ralf Jung's avatar build build-iris.dev

12:33

passed #15004
ci/gen_proofmode
dd70d96a
fp
#10096 by Ralf Jung's avatar build build-coq.8.7.2

10:24

passed #15003
ci/gen_proofmode
dd70d96a
fp-timing
#10096 by Ralf Jung's avatar build build-coq.8.8.0

10:53

passed #15002
master
b6f3e75d
fp
#10095 by Ralf Jung's avatar build build-coq.8.7.2

06:12

passed #15001
master
b6f3e75d
fp-timing
#10095 by Ralf Jung's avatar build build-coq.8.8.0

05:15

passed #14893
ci/perf
a40d7546
fp
#10055 by Ralf Jung's avatar build build-coq.8.7.2

06:00

passed #14892
ci/perf
a40d7546
fp-timing
#10055 by Ralf Jung's avatar build build-coq.8.8.0

09:05

passed #14879
ci/gen_proofmode
55a5f016
fp
#10050 by Ralf Jung's avatar build build-coq.8.7.2

17:58

passed #14878
ci/gen_proofmode
55a5f016
fp-timing
#10050 by Ralf Jung's avatar build build-coq.8.8.0

10:38

passed #14877
master
fe93dc05
fp
#10049 by Ralf Jung's avatar build build-coq.8.7.2

05:41

passed #14876
master
fe93dc05
fp-timing
#10049 by Ralf Jung's avatar build build-coq.8.8.0

09:12

passed #14875
ci/gen_proofmode
4d9a2472
fp
#10048 by Ralf Jung's avatar build build-iris.dev

17:13

passed #14868
master
0c66274b
fp
#10041 by Ralf Jung's avatar build build-iris.dev

16:09

passed #14862
ci/gen_proofmode
4d9a2472
fp
#10035 by Ralf Jung's avatar build build-coq.8.7.2

15:24

passed #14861
ci/gen_proofmode
4d9a2472
fp-timing
#10035 by Ralf Jung's avatar build build-coq.8.8.0

10:43

canceled #14860
ci/gen_proofmode
3258d130
fp
#10034 by Ralf Jung's avatar build build-coq.8.7.2

canceled #14859
ci/gen_proofmode
3258d130
fp-timing
#10034 by Ralf Jung's avatar build build-coq.8.8.0

passed #14858
master
0c66274b
fp
#10033 by Ralf Jung's avatar build build-coq.8.7.2

10:12

passed #14857
master
0c66274b
fp-timing
#10033 by Ralf Jung's avatar build build-coq.8.8.0

09:01

passed #14802
ci/gen_proofmode
e2ed288f
fp
#10019 by Ralf Jung's avatar build build-coq.8.7.2

21:51

passed #14801
ci/gen_proofmode
e2ed288f
fp-timing
#10019 by Ralf Jung's avatar build build-coq.8.8.0

19:33

passed #14772
ci/gen_proofmode
b5a80fab
fp
#10009 by Ralf Jung's avatar build build-coq.8.7.2

15:14

passed #14771
ci/gen_proofmode
b5a80fab
fp-timing
#10009 by Ralf Jung's avatar build build-coq.8.8.0

15:08

failed #14686
ci/gen_proofmode
33745bb0
fp
#9986 by Ralf Jung's avatar build build-iris.dev

06:55

passed #14679
master
e9cfcda6
fp
#9979 by Ralf Jung's avatar build build-iris.dev

05:21