Status Job Pipeline Stage Name Timing Coverage
failed #144770
extract-cert
3c3c2308
au
#22526 by Jakob Botsch Nielsen's avatar build full:coq:8.11

00:00:25

passed #144769
extract-cert
3c3c2308
au
#22526 by Jakob Botsch Nielsen's avatar build execution:coq:dev

00:03:18

passed #144768
extract-cert
3c3c2308
au
#22526 by Jakob Botsch Nielsen's avatar build execution:coq:8.11

00:03:43

passed #144767
extract-cert
3c3c2308
au
#22526 by Jakob Botsch Nielsen's avatar build execution:coq:8.10

00:04:29

passed #144766
extract-cert
3c3c2308
au
#22526 by Jakob Botsch Nielsen's avatar build execution:coq:8.9

00:03:45

failed #144495
extract-cert
48e83ef6
au
#22510 by Jakob Botsch Nielsen's avatar build full:coq:8.11

00:00:25

passed #144494
extract-cert
48e83ef6
au
#22510 by Jakob Botsch Nielsen's avatar build execution:coq:dev

00:04:38

passed #144493
extract-cert
48e83ef6
au
#22510 by Jakob Botsch Nielsen's avatar build execution:coq:8.11

00:04:40

passed #144492
extract-cert
48e83ef6
au
#22510 by Jakob Botsch Nielsen's avatar build execution:coq:8.10

00:04:02

passed #144491
extract-cert
48e83ef6
au
#22510 by Jakob Botsch Nielsen's avatar build execution:coq:8.9

00:04:43

passed #140622
master
385f08f1
au
#21793 by Jakob Botsch Nielsen's avatar build full:coq:8.11

00:02:13

passed #140621
master
385f08f1
au
#21793 by Jakob Botsch Nielsen's avatar build execution:coq:dev

00:04:39

passed #140620
master
385f08f1
au
#21793 by Jakob Botsch Nielsen's avatar build execution:coq:8.11

00:03:41

passed #140619
master
385f08f1
au
#21793 by Jakob Botsch Nielsen's avatar build execution:coq:8.10

00:04:02

passed #140618
master
385f08f1
au
#21793 by Jakob Botsch Nielsen's avatar build execution:coq:8.9

00:04:36

passed #137782
master
53bd7a58
au
#21203 by Jakob Botsch Nielsen's avatar build full:coq:8.11

00:02:10

passed #137781
master
53bd7a58
au
#21203 by Jakob Botsch Nielsen's avatar build execution:coq:dev

00:03:33

passed #137780
master
53bd7a58
au
#21203 by Jakob Botsch Nielsen's avatar build execution:coq:8.11

00:03:37

passed #137779
master
53bd7a58
au
#21203 by Jakob Botsch Nielsen's avatar build execution:coq:8.10

00:03:44

passed #137778
master
53bd7a58
au
#21203 by Jakob Botsch Nielsen's avatar build execution:coq:8.9

00:03:39

passed #137772
master
b2658205
au
#21200 by Jakob Botsch Nielsen's avatar build full:coq:8.11

00:02:09

failed #137771
master
b2658205
au
#21200 by Jakob Botsch Nielsen's avatar build execution:coq:dev

00:02:26

failed #137770
master
b2658205
au
#21200 by Jakob Botsch Nielsen's avatar build execution:coq:8.11

00:02:30

failed #137769
master
b2658205
au
#21200 by Jakob Botsch Nielsen's avatar build execution:coq:8.10

00:02:48

failed #137768
master
b2658205
au
#21200 by Jakob Botsch Nielsen's avatar build execution:coq:8.9

00:02:34

passed #137749
master
0cf0a030
au
#21193 by Jakob Botsch Nielsen's avatar build full:coq:8.11

00:02:13

failed #137748
master
0cf0a030
au
#21193 by Jakob Botsch Nielsen's avatar build execution:coq:dev

00:03:49

failed #137747
master
0cf0a030
au
#21193 by Jakob Botsch Nielsen's avatar build execution:coq:8.11

00:02:39

failed #137746
master
0cf0a030
au
#21193 by Jakob Botsch Nielsen's avatar build execution:coq:8.10

00:02:57

failed #137745
master
0cf0a030
au
#21193 by Jakob Botsch Nielsen's avatar build execution:coq:8.9

00:02:48