Status Job Pipeline Stage Name Duration Coverage
passed #93118
master
f4bc2be8
au
#12837 by Jakob Botsch Nielsen's avatar build coq:8.8

00:03:02

passed #93117
master
e7245511
au
#12836 by Jakob Botsch Nielsen's avatar build coq:dev

00:03:36

passed #93116
master
e7245511
au
#12836 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:40

failed #93115
master
e7245511
au
#12836 by Jakob Botsch Nielsen's avatar build coq:8.8

00:02:51

passed #91685
master
09da8b1b
au
#12775 by Jakob Botsch Nielsen's avatar build coq:dev

00:03:53

passed #91684
master
09da8b1b
au
#12775 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:49

passed #91683
master
09da8b1b
au
#12775 by Jakob Botsch Nielsen's avatar build coq:8.8

00:02:41

passed #91554
master
0caed85a
au
#12767 by Jakob Botsch Nielsen's avatar build coq:dev

00:03:23

passed #91553
master
0caed85a
au
#12767 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:43

passed #91552
master
0caed85a
au
#12767 by Jakob Botsch Nielsen's avatar build coq:8.8

00:02:42

failed #91392
master
b11b457b
au
#12754 by Jakob Botsch Nielsen's avatar build coq:dev

00:03:49

failed #91391
master
b11b457b
au
#12754 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:48

failed #91390
master
b11b457b
au
#12754 by Jakob Botsch Nielsen's avatar build coq:8.8

00:02:57

passed #90515
master
2e2b3fd0
au
#12716 by Jakob Botsch Nielsen's avatar build coq:dev

00:03:31

passed #90514
master
2e2b3fd0
au
#12716 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:46

passed #90513
master
2e2b3fd0
au
#12716 by Jakob Botsch Nielsen's avatar build coq:8.8

00:02:48

passed #89336
master
8962fbb6
au
#12673 by Jakob Botsch Nielsen's avatar build coq:dev

00:03:28

passed #89335
master
8962fbb6
au
#12673 by Jakob Botsch Nielsen's avatar build coq:8.9

00:03:01

passed #89334
master
8962fbb6
au
#12673 by Jakob Botsch Nielsen's avatar build coq:8.8

00:02:56

passed #89333
master
5b89d7a3
au
#12672 by Jakob Botsch Nielsen's avatar build coq:dev

00:03:32

passed #89332
master
5b89d7a3
au
#12672 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:40

passed #89331
master
5b89d7a3
au
#12672 by Jakob Botsch Nielsen's avatar build coq:8.8

00:02:43

passed #89280
master
0d709e3d
au
#12665 by Jakob Botsch Nielsen's avatar build coq:dev

00:02:34

passed #89279
master
0d709e3d
au
#12665 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:43

passed #89278
master
0d709e3d
au
#12665 by Jakob Botsch Nielsen's avatar build coq:8.8

00:02:47

failed #89277
master
90f0d1e4
au
#12664 by Jakob Botsch Nielsen's avatar build coq:dev

00:03:12

passed #89276
master
90f0d1e4
au
#12664 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:43

passed #89275
master
90f0d1e4
au
#12664 by Jakob Botsch Nielsen's avatar build coq:8.8

00:02:45

failed #89274
remove-txs-query
90f0d1e4
au
#12663 by Jakob Botsch Nielsen's avatar build coq:dev

00:02:31

passed #89273
remove-txs-query
90f0d1e4
au
#12663 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:45