Status Job Pipeline Stage Name Coverage
passed #29672
master
a8e9b673
fp
#16151 by Robbert's avatar build build-coq.8.7.0

00:05:42

passed #29671
master
a8e9b673
fp
#16151 by Robbert's avatar build build-coq.8.7.1

00:02:49

passed #29670
master
a8e9b673
fp
#16151 by Robbert's avatar build build-coq.8.7.2

00:02:50

passed #29669
master
a8e9b673
fp-timing
#16151 by Robbert's avatar build build-coq.8.8.0

00:02:46

passed #29668
master
a8e9b673
fp
#16151 by Robbert's avatar build build-coq.8.8.1

00:02:58

passed #29667
master
a8e9b673
fp
#16151 by Robbert's avatar build build-coq.8.8.2

00:03:00

passed #29666
master
a8e9b673
fp-timing
#16151 by Robbert's avatar build build-coq.8.9.0

00:03:16

passed #29665
master
a8e9b673
fp
#16151 by Robbert's avatar build build-coq.dev

00:08:04

passed #27785
master
d98ab4e4
fp
#15703 by Robbert's avatar build build-coq.8.7.0

00:05:24

passed #27784
master
d98ab4e4
fp
#15703 by Robbert's avatar build build-coq.8.7.1

00:02:47

passed #27783
master
d98ab4e4
fp
#15703 by Robbert's avatar build build-coq.8.7.2

00:02:46

passed #27782
master
d98ab4e4
fp-timing
#15703 by Robbert's avatar build build-coq.8.8.0

00:02:40

passed #27781
master
d98ab4e4
fp
#15703 by Robbert's avatar build build-coq.8.8.1

00:02:54

passed #27780
master
d98ab4e4
fp
#15703 by Robbert's avatar build build-coq.8.8.2

00:02:55

passed #27779
master
d98ab4e4
fp-timing
#15703 by Robbert's avatar build build-coq.8.9.0

00:03:06

passed #27778
master
d98ab4e4
fp
#15703 by Robbert's avatar build build-coq.dev

00:07:32

passed #27230
master
700545bb
fp
#15546 by Robbert's avatar build build-coq.8.7.0

00:02:44

passed #27229
master
700545bb
fp
#15546 by Robbert's avatar build build-coq.8.7.1

00:02:46

passed #27228
master
700545bb
fp
#15546 by Robbert's avatar build build-coq.8.7.2

00:02:40

passed #27227
master
700545bb
fp-timing
#15546 by Robbert's avatar build build-coq.8.8.0

00:02:36

passed #27226
master
700545bb
fp
#15546 by Robbert's avatar build build-coq.8.8.1

00:02:48

passed #27225
master
700545bb
fp
#15546 by Robbert's avatar build build-coq.8.8.2

00:02:48

passed #27224
master
700545bb
fp-timing
#15546 by Robbert's avatar build build-coq.8.9.0

00:03:13

passed #27223
master
700545bb
fp
#15546 by Robbert's avatar build build-coq.dev

00:07:59

passed #27221
master
3666e81e
fp
#15544 by Robbert's avatar build build-coq.8.7.0

00:02:48

passed #27220
master
3666e81e
fp
#15544 by Robbert's avatar build build-coq.8.7.1

00:02:48

passed #27219
master
3666e81e
fp
#15544 by Robbert's avatar build build-coq.8.7.2

00:02:48

passed #27218
master
3666e81e
fp-timing
#15544 by Robbert's avatar build build-coq.8.8.0

00:02:35

passed #27217
master
3666e81e
fp
#15544 by Robbert's avatar build build-coq.8.8.1

00:02:56

passed #27216
master
3666e81e
fp
#15544 by Robbert's avatar build build-coq.8.8.2

00:02:55