Status Job Pipeline Stage Name Timing Coverage
passed #123945
master
fad01803
fp-timing
#45317 by Robbert Krebbers's avatar build build-coq.8.12.2

00:04:32

passed #123944
master
fad01803
fp
#45317 by Robbert Krebbers's avatar build build-coq.8.13.1

00:05:31

passed #123246
master
f7917d01
fp-timing
#45017 by Hai Dang's avatar build build-coq.8.12.2

00:03:13

passed #123245
master
f7917d01
fp
#45017 by Hai Dang's avatar build build-coq.8.13.1

00:04:12

passed #122340
master
80465536
fp-timing
#44681 by Ralf Jung's avatar build build-coq.8.12.2

00:04:48

passed #122339
master
80465536
fp
#44681 by Ralf Jung's avatar build build-coq.8.13.1

00:06:25

passed #120372
master
a96ed463
fp-timing
#43951 by Ralf Jung's avatar build build-coq.8.12.2

00:04:44

passed #120371
master
a96ed463
fp
#43951 by Ralf Jung's avatar build build-coq.8.13.1

00:06:24

passed #119470
master
8dd4d154
fp-timing
#43685 by Ralf Jung's avatar build build-coq.8.12.2

00:09:30

passed #119469
master
8dd4d154
fp
#43685 by Ralf Jung's avatar build build-coq.8.13.1

00:12:54

passed #119085
master
df27faf4
fp
#43510 by Ralf Jung's avatar build build-coq.8.11.2

00:05:39

passed #119084
master
df27faf4
fp-timing
#43510 by Ralf Jung's avatar build build-coq.8.12.0

00:05:07

passed #118866
master
0b21922c
fp
#43438 by Ralf Jung's avatar build build-coq.8.11.2

00:05:36

passed #118865
master
0b21922c
fp-timing
#43438 by Ralf Jung's avatar build build-coq.8.12.0

00:05:09

passed #117335
master
7679d418
fp
#42986 by Ralf Jung's avatar build build-coq.8.11.2

00:06:30

passed #117334
master
7679d418
fp-timing
#42986 by Ralf Jung's avatar build build-coq.8.12.0

00:05:13

passed #112924
master
e61d13e9
fp
#41702 by Ralf Jung's avatar build build-coq.8.11.2

00:04:55

passed #112923
master
e61d13e9
fp-timing
#41702 by Ralf Jung's avatar build build-coq.8.12.0

00:05:00

passed #111667
master
34752c64
fp
#41195 by Hai Dang's avatar build build-coq.8.11.2

00:04:42

passed #111666
master
34752c64
fp-timing
#41195 by Hai Dang's avatar build build-coq.8.12.0

00:04:54

failed #111665
master
e97c31c2
fp
#41194 by Hai Dang's avatar build build-coq.8.11.2

00:01:17

failed #111664
master
e97c31c2
fp-timing
#41194 by Hai Dang's avatar build build-coq.8.12.0

00:01:14

passed #110976
master
a475ae95
fp
#40924 by Robbert Krebbers's avatar build build-coq.8.11.2

00:05:28

passed #110975
master
a475ae95
fp-timing
#40924 by Robbert Krebbers's avatar build build-coq.8.12.0

00:05:02

passed #106710
master
74340958
fp
#39266 by Ralf Jung's avatar build build-coq.8.11.2

00:08:50

passed #106709
master
74340958
fp-timing
#39266 by Ralf Jung's avatar build build-coq.8.12.0

00:08:34

passed #101757
master
2d9dd724
fp
#37335 by Ralf Jung's avatar build build-coq.8.11.2

00:05:52

passed #101756
master
2d9dd724
fp-timing
#37335 by Ralf Jung's avatar build build-coq.8.12.0

00:05:13

passed #101755
master
72304b5d
fp
#37334 by Ralf Jung's avatar build build-coq.8.11.2

00:04:30

passed #101754
master
72304b5d
fp-timing
#37334 by Ralf Jung's avatar build build-coq.8.12.0

00:03:55