Skip to content

S
stdpp
Status Job Pipeline Stage Name Timing Coverage
passed #40475
master
adfc24d2
fp
#19311 by Robbert's avatar build build-coq.8.7.2

00:02:44

passed #40474
master
adfc24d2
fp-timing
#19311 by Robbert's avatar build build-coq.8.8.0

00:02:41

passed #40473
master
adfc24d2
fp
#19311 by Robbert's avatar build build-coq.8.8.1

00:02:45

passed #40472
master
adfc24d2
fp
#19311 by Robbert's avatar build build-coq.8.8.2

00:02:55

passed #40471
master
adfc24d2
fp-timing
#19311 by Robbert's avatar build build-coq.8.9.0

00:03:02

passed #40470
master
adfc24d2
fp
#19311 by Robbert's avatar build build-coq.8.9.1

00:03:25

passed #40469
master
adfc24d2
fp
#19311 by Robbert's avatar build build-coq.8.10.dev

00:07:20

passed #40468
master
adfc24d2
fp
#19311 by Robbert's avatar build build-coq.dev

00:08:16

passed #40467
master
84708e6c
fp
#19310 by Robbert's avatar build build-coq.8.7.2

00:02:52

passed #40466
master
84708e6c
fp-timing
#19310 by Robbert's avatar build build-coq.8.8.0

00:02:45

passed #40465
master
84708e6c
fp
#19310 by Robbert's avatar build build-coq.8.8.1

00:02:49

passed #40464
master
84708e6c
fp
#19310 by Robbert's avatar build build-coq.8.8.2

00:02:51

passed #40463
master
84708e6c
fp-timing
#19310 by Robbert's avatar build build-coq.8.9.0

00:03:06

passed #40462
master
84708e6c
fp
#19310 by Robbert's avatar build build-coq.8.9.1

00:03:19

passed #40461
master
84708e6c
fp
#19310 by Robbert's avatar build build-coq.8.10.dev

00:07:13

passed #40460
master
84708e6c
fp
#19310 by Robbert's avatar build build-coq.dev

00:08:42

passed #40420
master
62966bac
fp
#19295 by Robbert's avatar build build-coq.8.7.2

00:02:49

passed #40419
master
62966bac
fp-timing
#19295 by Robbert's avatar build build-coq.8.8.0

00:02:44

passed #40418
master
62966bac
fp
#19295 by Robbert's avatar build build-coq.8.8.1

00:02:52

passed #40417
master
62966bac
fp
#19295 by Robbert's avatar build build-coq.8.8.2

00:03:06

passed #40416
master
62966bac
fp-timing
#19295 by Robbert's avatar build build-coq.8.9.0

00:03:17

passed #40415
master
62966bac
fp
#19295 by Robbert's avatar build build-coq.8.9.1

00:03:41

passed #40414
master
62966bac
fp
#19295 by Robbert's avatar build build-coq.8.10.dev

00:07:56

passed #40413
master
62966bac
fp
#19295 by Robbert's avatar build build-coq.dev

00:08:51

passed #40260
master
733ab29a
fp
#19267 by Robbert's avatar build build-coq.8.7.2

00:02:48

passed #40259
master
733ab29a
fp-timing
#19267 by Robbert's avatar build build-coq.8.8.0

00:02:49

passed #40258
master
733ab29a
fp
#19267 by Robbert's avatar build build-coq.8.8.1

00:02:56

passed #40257
master
733ab29a
fp
#19267 by Robbert's avatar build build-coq.8.8.2

00:03:08

passed #40256
master
733ab29a
fp-timing
#19267 by Robbert's avatar build build-coq.8.9.0

00:03:19

passed #40255
master
733ab29a
fp
#19267 by Robbert's avatar build build-coq.8.9.1

00:03:51