Status Job Pipeline Stage Name Coverage
passed #21165
master
9cbafb67
fp
#13362 by Robbert's avatar build build-coq.8.7.0

00:02:34

passed #21164
master
9cbafb67
fp
#13362 by Robbert's avatar build build-coq.8.7.1

00:02:38

passed #21163
master
9cbafb67
fp-timing
#13362 by Robbert's avatar build build-coq.8.7.2

00:02:40

passed #21162
master
9cbafb67
fp-timing
#13362 by Robbert's avatar build build-coq.8.8.0

00:02:47

passed #21161
master
9cbafb67
fp
#13362 by Robbert's avatar build build-coq.8.8.1

00:03:01

passed #21160
master
9cbafb67
fp
#13362 by Robbert's avatar build build-coq.8.8.2

00:02:53

passed #21159
master
9cbafb67
fp
#13362 by Robbert's avatar build build-coq.8.9.dev

00:07:19

passed #21158
master
9cbafb67
fp
#13362 by Robbert's avatar build build-coq.dev

00:15:25

passed #20892
master
005887ee
fp
#13187 by Robbert's avatar build build-coq.8.7.0

00:02:35

passed #20891
master
005887ee
fp
#13187 by Robbert's avatar build build-coq.8.7.1

00:03:00

passed #20890
master
005887ee
fp-timing
#13187 by Robbert's avatar build build-coq.8.7.2

00:02:45

passed #20889
master
005887ee
fp-timing
#13187 by Robbert's avatar build build-coq.8.8.0

00:02:41

passed #20888
master
005887ee
fp
#13187 by Robbert's avatar build build-coq.8.8.1

00:03:00

passed #20887
master
005887ee
fp
#13187 by Robbert's avatar build build-coq.8.8.2

00:02:42

passed #20886
master
005887ee
fp
#13187 by Robbert's avatar build build-coq.8.9.dev

00:03:42

passed #20885
master
005887ee
fp
#13187 by Robbert's avatar build build-coq.dev

00:14:49

passed #20879
master
498fe5f9
fp
#13181 by Robbert's avatar build build-coq.8.7.0

00:02:49

passed #20878
master
498fe5f9
fp
#13181 by Robbert's avatar build build-coq.8.7.1

00:02:52

passed #20877
master
498fe5f9
fp-timing
#13181 by Robbert's avatar build build-coq.8.7.2

00:02:34

passed #20876
master
498fe5f9
fp-timing
#13181 by Robbert's avatar build build-coq.8.8.0

00:02:51

passed #20875
master
498fe5f9
fp
#13181 by Robbert's avatar build build-coq.8.8.1

00:02:46

passed #20874
master
498fe5f9
fp
#13181 by Robbert's avatar build build-coq.8.8.2

00:03:07

passed #20873
master
498fe5f9
fp
#13181 by Robbert's avatar build build-coq.8.9.dev

00:03:50

passed #20872
master
498fe5f9
fp
#13181 by Robbert's avatar build build-coq.dev

00:04:39

passed #20871
master
1cbda487
fp
#13180 by Robbert's avatar build build-coq.8.7.0

00:03:05

passed #20870
master
1cbda487
fp
#13180 by Robbert's avatar build build-coq.8.7.1

00:02:52

passed #20869
master
1cbda487
fp-timing
#13180 by Robbert's avatar build build-coq.8.7.2

00:02:44

passed #20868
master
1cbda487
fp-timing
#13180 by Robbert's avatar build build-coq.8.8.0

00:02:48

passed #20867
master
1cbda487
fp
#13180 by Robbert's avatar build build-coq.8.8.1

00:02:54

passed #20866
master
1cbda487
fp
#13180 by Robbert's avatar build build-coq.8.8.2

00:02:57