Status Job Pipeline Stage Name Timing Coverage
failed #798306341
fa12-verification-rebase-clean
a3a95467
#204448724 by Arvid Jakobsson's avatar build coq:8.11

00:09:57

failed #798306339
fa12-verification-rebase-clean
a3a95467
#204448724 by Arvid Jakobsson's avatar build coq:8.10

00:09:09

failed #798306338
fa12-verification-rebase-clean
a3a95467
#204448724 by Arvid Jakobsson's avatar build coq:8.9

00:09:20

failed #798306337
fa12-verification-rebase-clean
a3a95467
#204448724 by Arvid Jakobsson's avatar build coq:8.8

00:08:37

failed #798270743
fa12-verification-rebase2
0fbc8351
#204439514 by Arvid Jakobsson's avatar build coq:8.11

00:09:26

failed #798270742
fa12-verification-rebase2
0fbc8351
#204439514 by Arvid Jakobsson's avatar build coq:8.10

00:10:25

failed #798270740
fa12-verification-rebase2
0fbc8351
#204439514 by Arvid Jakobsson's avatar build coq:8.9

00:09:36

failed #798270739
fa12-verification-rebase2
0fbc8351
#204439514 by Arvid Jakobsson's avatar build coq:8.8

00:10:37

passed #783930551
dexter-verification
4f96fe56
#200835632 by Arvid Jakobsson's avatar build coq:8.11

00:12:20

passed #783930550
dexter-verification
4f96fe56
#200835632 by Arvid Jakobsson's avatar build coq:8.10

00:13:13

passed #783930549
dexter-verification
4f96fe56
#200835632 by Arvid Jakobsson's avatar build coq:8.9

00:13:17

passed #783930548
dexter-verification
4f96fe56
#200835632 by Arvid Jakobsson's avatar build coq:8.8

00:13:07

failed #783913941
dexter-verification
9cab49a9
#200829761 by Arvid Jakobsson's avatar build coq:8.11

00:04:24

failed #783913940
dexter-verification
9cab49a9
#200829761 by Arvid Jakobsson's avatar build coq:8.10

00:10:01

failed #783913939
dexter-verification
9cab49a9
#200829761 by Arvid Jakobsson's avatar build coq:8.9

00:10:31

failed #783913938
dexter-verification
9cab49a9
#200829761 by Arvid Jakobsson's avatar build coq:8.8

00:04:10

failed #783913861
dexter-verification
9f6392c8
#200829723 by Arvid Jakobsson's avatar build coq:8.11

00:02:45

failed #783913860
dexter-verification
9f6392c8
#200829723 by Arvid Jakobsson's avatar build coq:8.10

00:10:30

failed #783913859
dexter-verification
9f6392c8
#200829723 by Arvid Jakobsson's avatar build coq:8.9

00:09:36

failed #783913858
dexter-verification
9f6392c8
#200829723 by Arvid Jakobsson's avatar build coq:8.8

00:09:41

passed #783910228
dexter-verification
1a83dbf6
#200828261 by Arvid Jakobsson's avatar build coq:8.11

00:25:20

failed #783910227
dexter-verification
1a83dbf6
#200828261 by Arvid Jakobsson's avatar build coq:8.10

00:39:42

passed #783910226
dexter-verification
1a83dbf6
#200828261 by Arvid Jakobsson's avatar build coq:8.9

00:27:17

failed #783910225
dexter-verification
1a83dbf6
#200828261 by Arvid Jakobsson's avatar build coq:8.8

00:41:11

passed #783163386
dexter-verification-cleanup-lemmas
24e13811
#200595365 by Arvid Jakobsson's avatar build coq:8.11

00:26:05

passed #783163384
dexter-verification-cleanup-lemmas
24e13811
#200595365 by Arvid Jakobsson's avatar build coq:8.10

00:40:39

passed #783163382
dexter-verification-cleanup-lemmas
24e13811
#200595365 by Arvid Jakobsson's avatar build coq:8.9

00:13:59

failed #783163379
dexter-verification-cleanup-lemmas
24e13811
#200595365 by Arvid Jakobsson's avatar build coq:8.8

00:50:16

passed #762528669
[email protected]
08edb748
#195752939 by Arvid Jakobsson's avatar build coq:8.9

00:27:37

passed #762519011
[email protected]
08edb748
#195752939 by Arvid Jakobsson's avatar build coq:8.11

00:23:32