Skip to content

S
stdpp
Status Job Pipeline Stage Name Timing Coverage
passed #43568
master
e35c9837
fp
#20117 by Robbert's avatar build build-coq.8.7.2

00:02:51

passed #43567
master
e35c9837
fp-timing
#20117 by Robbert's avatar build build-coq.8.8.0

00:02:44

passed #43566
master
e35c9837
fp
#20117 by Robbert's avatar build build-coq.8.8.1

00:02:55

passed #43565
master
e35c9837
fp
#20117 by Robbert's avatar build build-coq.8.8.2

00:03:10

passed #43564
master
e35c9837
fp-timing
#20117 by Robbert's avatar build build-coq.8.9.0

00:03:18

passed #43563
master
e35c9837
fp
#20117 by Robbert's avatar build build-coq.8.9.1

00:03:53

passed #43562
master
e35c9837
fp
#20117 by Robbert's avatar build build-coq.8.10.dev

00:07:57

passed #43561
master
e35c9837
fp
#20117 by Robbert's avatar build build-coq.dev

00:09:57

passed #42256
master
9041e6d8
fp
#19783 by Robbert's avatar build build-coq.8.7.2

00:02:51

passed #42255
master
9041e6d8
fp-timing
#19783 by Robbert's avatar build build-coq.8.8.0

00:02:36

passed #42254
master
9041e6d8
fp
#19783 by Robbert's avatar build build-coq.8.8.1

00:02:53

passed #42253
master
9041e6d8
fp
#19783 by Robbert's avatar build build-coq.8.8.2

00:02:45

passed #42252
master
9041e6d8
fp-timing
#19783 by Robbert's avatar build build-coq.8.9.0

00:03:06

passed #42251
master
9041e6d8
fp
#19783 by Robbert's avatar build build-coq.8.9.1

00:03:09

passed #42250
master
9041e6d8
fp
#19783 by Robbert's avatar build build-coq.8.10.dev

00:07:13

passed #42249
master
9041e6d8
fp
#19783 by Robbert's avatar build build-coq.dev

00:09:33

passed #42224
master
b53cbe77
fp
#19772 by Robbert's avatar build build-coq.8.7.2

00:02:49

passed #42223
master
b53cbe77
fp-timing
#19772 by Robbert's avatar build build-coq.8.8.0

00:02:44

passed #42222
master
b53cbe77
fp
#19772 by Robbert's avatar build build-coq.8.8.1

00:02:54

passed #42221
master
b53cbe77
fp
#19772 by Robbert's avatar build build-coq.8.8.2

00:03:10

passed #42220
master
b53cbe77
fp-timing
#19772 by Robbert's avatar build build-coq.8.9.0

00:03:16

passed #42219
master
b53cbe77
fp
#19772 by Robbert's avatar build build-coq.8.9.1

00:03:48

passed #42218
master
b53cbe77
fp
#19772 by Robbert's avatar build build-coq.8.10.dev

00:07:57

passed #42217
master
b53cbe77
fp
#19772 by Robbert's avatar build build-coq.dev

00:09:55

passed #41551
master
f53dfb6d
fp
#19631 by Robbert's avatar build build-coq.8.7.2

00:02:51

passed #41550
master
f53dfb6d
fp-timing
#19631 by Robbert's avatar build build-coq.8.8.0

00:02:44

passed #41549
master
f53dfb6d
fp
#19631 by Robbert's avatar build build-coq.8.8.1

00:02:54

passed #41548
master
f53dfb6d
fp
#19631 by Robbert's avatar build build-coq.8.8.2

00:03:02

passed #41547
master
f53dfb6d
fp-timing
#19631 by Robbert's avatar build build-coq.8.9.0

00:03:16

passed #41546
master
f53dfb6d
fp
#19631 by Robbert's avatar build build-coq.8.9.1

00:03:44