Status Job Pipeline Stage Name Timing Coverage
passed #110071
master
3a636365
fp
#40541 by Ralf Jung's avatar build build-coq.8.11.2

00:08:29

passed #110070
master
3a636365
fp-timing
#40541 by Ralf Jung's avatar build build-coq.8.12.2

00:06:44

passed #110069
master
3a636365
fp
#40541 by Ralf Jung's avatar build build-coq.8.13.0

00:13:13

passed #110068
master
3a636365
fp
#40541 by Ralf Jung's avatar build build-coq.dev

00:13:29

passed #110028
master
cc985ac8
fp
#40511 by Robbert's avatar build build-coq.8.11.2

00:08:11

passed #110027
master
cc985ac8
fp-timing
#40511 by Robbert's avatar build build-coq.8.12.2

00:06:49

passed #110026
master
cc985ac8
fp
#40511 by Robbert's avatar build build-coq.8.13.dev

00:12:10

passed #110025
master
cc985ac8
fp
#40511 by Robbert's avatar build build-coq.dev

00:12:06

passed #110023
master
0a8c2c18
fp
#40509 by Ralf Jung's avatar build build-coq.8.11.2

00:09:29

passed #110022
master
0a8c2c18
fp-timing
#40509 by Ralf Jung's avatar build build-coq.8.12.2

00:08:09

passed #110021
master
0a8c2c18
fp
#40509 by Ralf Jung's avatar build build-coq.8.13.dev

00:12:38

passed #110020
master
0a8c2c18
fp
#40509 by Ralf Jung's avatar build build-coq.dev

00:12:12

passed #110010
master
afe06025
fp
#40503 by Robbert's avatar build build-coq.8.11.2

00:07:54

passed #110009
master
afe06025
fp-timing
#40503 by Robbert's avatar build build-coq.8.12.2

00:06:46

passed #110008
master
afe06025
fp
#40503 by Robbert's avatar build build-coq.8.13.dev

00:11:59

passed #110007
master
afe06025
fp
#40503 by Robbert's avatar build build-coq.dev

00:11:48

passed #109960
master
6ed0574d
fp
#40486 by iris-dev's avatar build build-stdpp.dev-coq.8.13.dev

00:15:39

passed #109959
master
6ed0574d
fp
#40486 by iris-dev's avatar build build-stdpp.dev-coq.8.12.1

00:09:53

passed #109934
master
6ed0574d
fp
#40462 by Robbert's avatar build build-coq.8.11.2

00:08:20

passed #109933
master
6ed0574d
fp-timing
#40462 by Robbert's avatar build build-coq.8.12.2

00:07:04

passed #109932
master
6ed0574d
fp
#40462 by Robbert's avatar build build-coq.8.13.dev

00:12:39

passed #109931
master
6ed0574d
fp
#40462 by Robbert's avatar build build-coq.dev

00:12:29

passed #109864
master
086b3519
fp
#40444 by iris-dev's avatar build build-stdpp.dev-coq.8.13.dev

00:18:38

passed #109863
master
086b3519
fp
#40444 by iris-dev's avatar build build-stdpp.dev-coq.8.12.1

00:14:12

passed #109831
master
086b3519
fp
#40419 by Ralf Jung's avatar build build-coq.8.11.2

00:10:36

passed #109830
master
086b3519
fp-timing
#40419 by Ralf Jung's avatar build build-coq.8.12.2

00:08:21

passed #109829
master
086b3519
fp
#40419 by Ralf Jung's avatar build build-coq.8.13.dev

00:13:36

passed #109828
master
086b3519
fp
#40419 by Ralf Jung's avatar build build-coq.dev

00:13:22

passed #109823
master
049947a6
fp
#40416 by Ralf Jung's avatar build build-coq.8.11.2

00:09:23

passed #109822
master
049947a6
fp-timing
#40416 by Ralf Jung's avatar build build-coq.8.12.2

00:08:02