Status Job Pipeline Stage Name Coverage
passed #19235
ci/debug
edafe37a
fp
#12419 by Ralf Jung's avatar build build-coq.8.8.1

11:09

passed #19234
ci/debug
edafe37a
fp
#12419 by Ralf Jung's avatar build build-coq.8.7.1

04:18

passed #19233
ci/debug
edafe37a
fp
#12419 by Ralf Jung's avatar build build-coq.8.7.2

04:19

passed #19232
ci/debug
edafe37a
fp-timing
#12419 by Ralf Jung's avatar build build-coq.8.8.0

14:02

failed #19231
ci/debug
edafe37a
fp
#12419 by Ralf Jung's avatar build build-coq.8.8.1

00:48

passed #19230
ci/debug
edafe37a
fp
#12419 by Ralf Jung's avatar build build-coq.8.8.2

04:18

passed #19229
ci/debug
edafe37a
fp-timing
#12419 by Ralf Jung's avatar build build-coq.8.9.dev

14:41

passed #19228
ci/debug
edafe37a
fp
#12419 by Ralf Jung's avatar build build-coq.dev

19:25

passed #19226
ci/debug
35d74830
fp
#12417 by Ralf Jung's avatar build build-coq.8.7.1

11:25

passed #19225
ci/debug
35d74830
fp
#12417 by Ralf Jung's avatar build build-coq.8.7.2

11:32

passed #19224
ci/debug
35d74830
fp-timing
#12417 by Ralf Jung's avatar build build-coq.8.8.0

12:07

passed #19223
ci/debug
35d74830
fp
#12417 by Ralf Jung's avatar build build-coq.8.8.1

04:18

passed #19222
ci/debug
35d74830
fp
#12417 by Ralf Jung's avatar build build-coq.8.8.2

11:53

passed #19221
ci/debug
35d74830
fp-timing
#12417 by Ralf Jung's avatar build build-coq.8.9.dev

13:00

passed #19220
ci/debug
35d74830
fp
#12417 by Ralf Jung's avatar build build-coq.dev

36:56

passed #19219
ci/value_constructor
8897df8d
fp
#12416 by Jacques-Henri Jourdan's avatar build build-coq.8.7.1

11:47

passed #19218
ci/value_constructor
8897df8d
fp
#12416 by Jacques-Henri Jourdan's avatar build build-coq.8.7.2

11:52

passed #19217
ci/value_constructor
8897df8d
fp-timing
#12416 by Jacques-Henri Jourdan's avatar build build-coq.8.8.0

04:19

passed #19216
ci/value_constructor
8897df8d
fp
#12416 by Jacques-Henri Jourdan's avatar build build-coq.8.8.1

12:38

passed #19215
ci/value_constructor
8897df8d
fp
#12416 by Jacques-Henri Jourdan's avatar build build-coq.8.8.2

12:45

passed #19214
ci/value_constructor
8897df8d
fp-timing
#12416 by Jacques-Henri Jourdan's avatar build build-coq.8.9.dev

12:02

passed #19213
ci/value_constructor
8897df8d
fp
#12416 by Jacques-Henri Jourdan's avatar build build-coq.dev

37:57

passed #19209
ci/value_constructor
4048df4e
fp
#12413 by Jacques-Henri Jourdan's avatar build build-coq.8.7.1

04:30

passed #19208
ci/value_constructor
4048df4e
fp
#12413 by Jacques-Henri Jourdan's avatar build build-coq.8.7.2

05:23

passed #19207
ci/value_constructor
4048df4e
fp-timing
#12413 by Jacques-Henri Jourdan's avatar build build-coq.8.8.0

11:14

failed #19206
ci/value_constructor
4048df4e
fp
#12413 by Jacques-Henri Jourdan's avatar build build-coq.8.8.1

00:51

passed #19205
ci/value_constructor
4048df4e
fp
#12413 by Jacques-Henri Jourdan's avatar build build-coq.8.8.2

05:18

passed #19204
ci/value_constructor
4048df4e
fp-timing
#12413 by Jacques-Henri Jourdan's avatar build build-coq.8.9.dev

09:55

passed #19203
ci/value_constructor
4048df4e
fp
#12413 by Jacques-Henri Jourdan's avatar build build-coq.dev

30:56

passed #19194
ci/value_constructor
b33a31f5
fp
#12397 by Jacques-Henri Jourdan's avatar build build-coq.8.7.1

05:16