Status Job Pipeline Stage Name Timing Coverage
passed #47309
master
fad7bbcf
fp
#21194 by Ralf Jung's avatar build build-coq.8.8.2

00:08:56

passed #47308
master
fad7bbcf
fp
#21194 by Ralf Jung's avatar build build-coq.8.9.0

00:09:40

passed #47307
master
fad7bbcf
fp
#21194 by Ralf Jung's avatar build build-coq.8.9.1

00:09:33

passed #47306
master
fad7bbcf
fp
#21194 by Ralf Jung's avatar build build-coq.8.10.0

00:10:01

passed #47305
master
fad7bbcf
fp-timing
#21194 by Ralf Jung's avatar build build-coq.8.10.1

00:07:09

passed #47304
master
fad7bbcf
fp
#21194 by Ralf Jung's avatar build build-coq.dev

00:17:03

passed #47248
ci/robbert/notypeclasses_refine_iPoseProof
dc9b3c7c
fp
#21174 by Robbert's avatar build build-coq.8.8.2

00:09:10

passed #47247
ci/robbert/notypeclasses_refine_iPoseProof
dc9b3c7c
fp
#21174 by Robbert's avatar build build-coq.8.9.0

00:09:55

passed #47246
ci/robbert/notypeclasses_refine_iPoseProof
dc9b3c7c
fp
#21174 by Robbert's avatar build build-coq.8.9.1

00:09:52

passed #47245
ci/robbert/notypeclasses_refine_iPoseProof
dc9b3c7c
fp
#21174 by Robbert's avatar build build-coq.8.10.0

00:10:15

passed #47244
ci/robbert/notypeclasses_refine_iPoseProof
dc9b3c7c
fp-timing
#21174 by Robbert's avatar build build-coq.8.10.1

00:07:00

passed #47243
ci/robbert/notypeclasses_refine_iPoseProof
dc9b3c7c
fp
#21174 by Robbert's avatar build build-coq.dev

00:17:21

passed #47116
master
60647cc2
fp
#21132 by Ralf Jung's avatar build build-coq.8.8.2

00:08:46

passed #47115
master
60647cc2
fp
#21132 by Ralf Jung's avatar build build-coq.8.9.0

00:09:47

passed #47114
master
60647cc2
fp
#21132 by Ralf Jung's avatar build build-coq.8.9.1

00:09:39

passed #47113
master
60647cc2
fp
#21132 by Ralf Jung's avatar build build-coq.8.10.0

00:10:07

passed #47112
master
60647cc2
fp-timing
#21132 by Ralf Jung's avatar build build-coq.8.10.1

00:07:10

passed #47111
master
60647cc2
fp
#21132 by Ralf Jung's avatar build build-coq.dev

00:18:19

passed #47077
ci/robbert/notypeclasses_refine_iPoseProof
f0143618
fp
#21118 by Robbert's avatar build build-coq.8.8.2

00:09:19

passed #47076
ci/robbert/notypeclasses_refine_iPoseProof
f0143618
fp
#21118 by Robbert's avatar build build-coq.8.9.0

00:09:41

passed #47075
ci/robbert/notypeclasses_refine_iPoseProof
f0143618
fp
#21118 by Robbert's avatar build build-coq.8.9.1

00:09:34

passed #47074
ci/robbert/notypeclasses_refine_iPoseProof
f0143618
fp
#21118 by Robbert's avatar build build-coq.8.10.0

00:10:03

passed #47073
ci/robbert/notypeclasses_refine_iPoseProof
f0143618
fp-timing
#21118 by Robbert's avatar build build-coq.8.10.1

00:06:30

passed #47072
ci/robbert/notypeclasses_refine_iPoseProof
f0143618
fp
#21118 by Robbert's avatar build build-coq.dev

00:17:21

canceled #47071
ci/robbert/notypeclasses_refine_iPoseProof
f325a031
fp
#21117 by Robbert's avatar build build-coq.8.8.2

00:07:55

canceled #47070
ci/robbert/notypeclasses_refine_iPoseProof
f325a031
fp
#21117 by Robbert's avatar build build-coq.8.9.0

00:07:55

canceled #47069
ci/robbert/notypeclasses_refine_iPoseProof
f325a031
fp
#21117 by Robbert's avatar build build-coq.8.9.1

00:07:55

canceled #47068
ci/robbert/notypeclasses_refine_iPoseProof
f325a031
fp
#21117 by Robbert's avatar build build-coq.8.10.0

00:07:55

passed #47067
ci/robbert/notypeclasses_refine_iPoseProof
f325a031
fp-timing
#21117 by Robbert's avatar build build-coq.8.10.1

00:06:51

canceled #47066
ci/robbert/notypeclasses_refine_iPoseProof
f325a031
fp
#21117 by Robbert's avatar build build-coq.dev

00:07:56