collapseBuild Queue
No builds in the queue.
 pendulum
1Idle
 pyrolyse
1Idle
2Idle
3Idle
4Idle
5Idle
6Idle
7Idle
8Idle
9Idle
10Idle
11Idle
12Idle
13Idle
14Idle
15Idle
16Idle
17Idle
18Idle
19Idle
20Idle
21Idle
22Idle
23Idle
24Idle
25Idle
26Idle
27Idle
28Idle
29Idle
30Idle
31Idle
32Idle
 roquableu  (offline)
   S   WNameLast SuccessLast FailureLast Duration  
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-aac-tactics 4 mo 26 days - #2703 6 mo 1 day - #263328 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-abp 4 mo 26 days - #2701 5 mo 3 days - #268712 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-additions 4 mo 26 days - #2666 9 mo 21 days - #227953 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-ails 4 mo 26 days - #2666 9 mo 12 days - #23061 min 30 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-algebra 4 mo 26 days - #2668 9 mo 12 days - #23082 min 8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-amm11262 4 mo 26 days - #2664 6 mo 1 day - #259425 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-angles 4 mo 26 days - #2661 1 yr 11 mo - #104720 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-area-method 4 mo 26 days - #2630 6 mo 1 day - #256025 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-atbr 4 mo 26 days - #2638 6 mo 1 day - #256814 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-automata 4 mo 26 days - #2661 9 mo 21 days - #227426 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-axiomatic-abp 4 mo 26 days - #2662 5 mo 3 days - #264718 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-bdds 4 mo 26 days - #1775 7 mo 15 days - #163941 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-bertrand 4 mo 26 days - #2659 5 mo 3 days - #26442 min 3 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-buchberger 4 mo 26 days - #2659 9 mo 12 days - #22982 min 18 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
bench-build-coq 4 mo 26 days - #3038 12 hr - #30692 min 58 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-canon-bdds 4 mo 26 days - #2659 5 mo 3 days - #264435 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-cantor 4 mo 26 days - #2659 6 mo 1 day - #25881 min 37 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-cats-in-zfc 4 mo 26 days - #2659 6 mo 1 day - #25886 min 4 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-ccs 4 mo 26 days - #2659 1 yr 9 mo - #13252.8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-cfgv 4 mo 26 days - #2658 9 mo 12 days - #22977 min 3 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-checker 4 mo 26 days - #2658 5 mo 3 days - #26432.4 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-chinese 4 mo 26 days - #2658 9 mo 21 days - #227023 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-circuits 4 mo 26 days - #2651 9 mo 21 days - #226323 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-classical-realizability 4 mo 26 days - #2651 5 mo 3 days - #26364 min 53 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-clone-coq 12 hr - #3509 2 mo 1 day - #347820 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-clone-coq-contribs 12 hr - #3190 9 mo 6 days - #27673 min 20 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-clone-math-comp 1 yr 7 mo - #1309 1 yr 11 mo - #12694.1 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-coalgebras 4 mo 26 days - #2651 5 mo 3 days - #263626 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-coinductive-examples 4 mo 26 days - #2650 1 yr 10 mo - #11693.1 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-coinductive-reals 4 mo 26 days - #1773 7 mo 15 days - #16372 min 17 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-concat 4 mo 26 days - #2649 5 mo 3 days - #26341 min 15 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-constructive-geometry 4 mo 26 days - #2649 9 mo 21 days - #22614.1 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-containers 4 mo 26 days - #2652 6 mo 1 day - #25819 min 39 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-continuations 4 mo 26 days - #2626 5 mo 3 days - #261126 sec 
Not built100%bench-coq-contribsN/AN/AN/A 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-coq-in-coq 4 mo 26 days - #2648 5 mo 3 days - #26331 min 21 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-coqoban 4 mo 26 days - #2648 9 mo 21 days - #22605.9 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-corn 4 mo 26 days - #1757 7 mo 15 days - #162138 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-counting 4 mo 26 days - #2652 5 mo 3 days - #26372.8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-cours-de-coq 4 mo 26 days - #2648 8 mo 3 days - #239414 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-ctltctl 4 mo 26 days - #2648 7 mo 6 days - #247111 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-dblib 4 mo 26 days - #2648 5 mo 3 days - #263350 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-demos 4 mo 26 days - #2648 5 mo 3 days - #26339.2 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-dep-map 4 mo 26 days - #2648 5 mo 3 days - #263334 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-descente-infinie 4 mo 26 days - #2621 5 mo 3 days - #26063.3 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-dictionaries 4 mo 26 days - #2647 1 yr 4 mo - #17267.9 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-distributed-reference-counting 4 mo 26 days - #2390 9 mo 12 days - #20294 min 20 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-domain-theory 4 mo 26 days - #2644 1 yr 4 mo - #172315 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-ergo 4 mo 26 days - #1761 7 mo 15 days - #16254 min 44 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-euclidean-geometry 4 mo 26 days - #2646 6 mo 1 day - #25754 min 18 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-euler-formula 4 mo 26 days - #2646 7 mo 1 day - #248441 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-exact-real-arithmetic 4 mo 26 days - #2646 9 mo 12 days - #22852 min 7 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-exceptions 4 mo 26 days - #2646 6 mo 3 days - #25682.9 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-fairisle 4 mo 26 days - #2646 9 mo 12 days - #22854 min 29 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-fermat4 4 mo 26 days - #2646 9 mo 12 days - #228549 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-finger-tree 4 mo 26 days - #2646 6 mo 1 day - #25754 min 50 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-firing-squad 4 mo 26 days - #2646 5 mo 3 days - #263157 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-float 4 mo 26 days - #2646 5 mo 3 days - #26314 min 8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-founify 4 mo 26 days - #2644 6 mo 1 day - #257322 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-free-groups 4 mo 26 days - #2643 5 mo 3 days - #26284.7 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-fsets 4 mo 26 days - #2642 6 mo 1 day - #25718 min 36 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-fssec-model 4 mo 26 days - #2642 5 mo 3 days - #26272 min 1 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-functions-in-zfc 4 mo 26 days - #2642 5 mo 3 days - #26275.8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-fundamental-arithmetics 4 mo 26 days - #2643 5 mo 3 days - #262841 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-gc 4 mo 26 days - #2643 9 mo 12 days - #22827 min 24 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-generic-environments 4 mo 26 days - #2643 9 mo 12 days - #228215 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-goedel 4 mo 26 days - #1771 7 mo 15 days - #16351 min 56 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-graph-basics 4 mo 26 days - #2643 5 mo 3 days - #262849 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-graphs 4 mo 26 days - #1775 7 mo 15 days - #16398.1 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-group-theory 4 mo 26 days - #2642 5 mo 3 days - #262723 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-groups 4 mo 26 days - #2642 1 yr 4 mo - #17212.4 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-hardware 4 mo 26 days - #2642 5 mo 3 days - #26271 min 25 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-hedges 4 mo 26 days - #2642 9 mo 12 days - #228111 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-high-school-geometry 4 mo 26 days - #2642 6 mo 1 day - #257116 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-higman-cf 4 mo 26 days - #2641 5 mo 3 days - #26268.3 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-higman-nw 4 mo 26 days - #2641 5 mo 3 days - #26269.3 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-higman-s 4 mo 26 days - #2616 5 mo 3 days - #260118 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-historical-examples 4 mo 26 days - #2641 5 mo 3 days - #26266.4 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-hoare-tut 4 mo 26 days - #2640 5 mo 3 days - #262514 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-huffman 4 mo 26 days - #2640 5 mo 3 days - #26251 min 32 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-icharate 4 mo 26 days - #2639 5 mo 3 days - #26242 min 19 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-idxassoc 4 mo 26 days - #2639 7 mo 4 days - #24685.2 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-ieee754 4 mo 26 days - #2639 1 yr 4 mo - #171822 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-int-map 4 mo 26 days - #2647 5 mo 3 days - #263256 sec 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
bench-intuitionistic-nuprl 4 mo 26 days - #2138 4 mo 26 days - #21377 hr 48 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-ipc 4 mo 26 days - #2638 1 yr 4 mo - #17171 min 21 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-izf 4 mo 26 days - #2638 5 mo 3 days - #26238.4 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-jordan-curve-theorem 4 mo 26 days - #2637 1 yr 4 mo - #171715 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-jprover 4 mo 26 days - #2360 6 mo 1 day - #228910 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-karatsuba 4 mo 26 days - #2639 5 mo 3 days - #262443 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-kildall 4 mo 26 days - #2638 5 mo 3 days - #26233 min 8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-lambda 4 mo 26 days - #2638 5 mo 3 days - #262334 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-lambek 4 mo 26 days - #2637 6 mo 1 day - #256627 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-lazy-pcf 4 mo 26 days - #2635 1 yr 4 mo - #171421 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-lc 4 mo 26 days - #2636 6 mo 1 day - #256517 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-legacy-field 4 mo 26 days - #1740 7 mo 15 days - #16048.6 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-legacy-ring 4 mo 26 days - #2639 5 mo 3 days - #262430 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-lemma-overloading 1 yr 10 mo - #557 2 yr 2 mo - #2111 min 10 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-lesniewski-mereology 4 mo 26 days - #2636 5 mo 3 days - #26217.8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-lin-alg 4 mo 26 days - #1770 7 mo 15 days - #16342 min 57 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-ltl 4 mo 26 days - #2635 5 mo 3 days - #26206.1 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-maple-mode 4 mo 26 days - #2645 6 mo 1 day - #257536 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-markov 4 mo 26 days - #2635 1 yr 4 mo - #17158.3 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-math-classes 4 mo 26 days - #2568 6 mo 1 day - #249813 min 
Aborted60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
bench-math-comp 1 yr 10 mo - #984 1 yr 10 mo - #9851 hr 52 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-maths 4 mo 26 days - #2634 5 mo 3 days - #261919 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-matrices 4 mo 26 days - #2634 5 mo 3 days - #261919 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-micromega 4 mo 26 days - #2635 5 mo 3 days - #262037 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-mini-compiler 4 mo 26 days - #2635 1 yr 4 mo - #17145.5 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-minic 4 mo 26 days - #2635 5 mo 3 days - #262036 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-miniml 4 mo 26 days - #2635 5 mo 3 days - #262010 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-mod-red 4 mo 26 days - #2635 5 mo 3 days - #26201 min 15 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-multiplier 4 mo 26 days - #2631 5 mo 3 days - #26167.7 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-mutual-exclusion 4 mo 26 days - #2635 5 mo 3 days - #26207.5 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-nfix 4 mo 26 days - #2639 6 mo 1 day - #25685.7 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-orb-stab 4 mo 26 days - #1692 2 yr 2 mo - #2933.1 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-otway-rees 4 mo 26 days - #2634 9 mo 21 days - #224734 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-paco 4 mo 26 days - #2636 6 mo 1 day - #25651 min 54 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-paradoxes 4 mo 26 days - #2636 1 yr 4 mo - #17159.7 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-param-pi 4 mo 26 days - #2636 9 mo 21 days - #224826 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-pautomata 4 mo 26 days - #2635 6 mo 1 day - #25641 min 15 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-persistent-union-find 4 mo 26 days - #2635 6 mo 1 day - #25641 min 21 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-pi-calc 4 mo 26 days - #2637 5 mo 3 days - #26223 min 13 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-pocklington 4 mo 26 days - #2638 6 mo 23 days - #250146 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-presburger 4 mo 26 days - #2637 5 mo 3 days - #26221 min 58 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-prfx 4 mo 26 days - #2637 5 mo 3 days - #26221 min 7 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-projective-geometry 4 mo 26 days - #2610 5 mo 3 days - #259528 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-propcalc 4 mo 26 days - #2635 1 yr 4 mo - #171418 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-pts 4 mo 26 days - #2632 5 mo 3 days - #261747 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-ptsatr 4 mo 26 days - #2633 5 mo 3 days - #26181 min 57 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-ptsf 4 mo 26 days - #1769 7 mo 15 days - #163317 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-qarith 4 mo 26 days - #2381 6 mo 1 day - #231013 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-qarith-stern-brocot 4 mo 26 days - #2636 5 mo 3 days - #26215 min 19 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-quicksort-complexity 4 mo 26 days - #2631 6 mo 1 day - #25604 min 7 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-railroad-crossing 4 mo 26 days - #2629 10 mo - #220911 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-ramsey 4 mo 26 days - #2629 5 mo 3 days - #26142.4 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-random 4 mo 26 days - #2629 5 mo 3 days - #26142 min 17 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-rational 4 mo 26 days - #2606 6 mo 1 day - #25351 min 2 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-recursive-definition 4 mo 26 days - #2606 5 mo 3 days - #259129 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-reflexive-first-order 4 mo 26 days - #2628 5 mo 3 days - #261339 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-regexp 4 mo 26 days - #2628 5 mo 3 days - #261322 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-relation-algebra 4 mo 26 days - #2629 5 mo 3 days - #26148 min 51 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-relation-extraction 4 mo 26 days - #2628 6 mo 1 day - #255710 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-rem 4 mo 26 days - #2628 6 mo 24 days - #24883.8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-rsa 4 mo 26 days - #2629 1 yr 4 mo - #170819 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-ruler-compass-geometry 4 mo 26 days - #2629 5 mo 3 days - #26142 min 29 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-schroeder 4 mo 26 days - #2629 6 mo 1 day - #25585.6 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-search-trees 4 mo 26 days - #2628 5 mo 3 days - #261318 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-semantics 4 mo 26 days - #2628 5 mo 3 days - #26131 min 57 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-shuffle 4 mo 26 days - #2629 5 mo 3 days - #26148.1 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-smc 4 mo 26 days - #1775 7 mo 15 days - #163931 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-square-matrices 4 mo 26 days - #2628 6 mo 1 day - #25574.9 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-stalmarck 4 mo 26 days - #2605 5 mo 3 days - #25903 min 11 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-streams 4 mo 26 days - #2628 1 yr 4 mo - #17077.4 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-string 4 mo 26 days - #2628 5 mo 3 days - #261316 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-subst 4 mo 26 days - #2627 1 yr 4 mo - #170757 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-sudoku 4 mo 26 days - #2628 5 mo 3 days - #26132 min 27 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-sum-of-two-square 4 mo 26 days - #2626 5 mo 3 days - #26111 min 28 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-tait 4 mo 26 days - #2627 5 mo 3 days - #26121 min 35 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-tarski-geometry 4 mo 26 days - #2603 5 mo 3 days - #25882 min 28 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-three-gap 4 mo 26 days - #2627 1 yr 4 mo - #170633 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-topology 4 mo 26 days - #1770 7 mo 15 days - #163445 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-tortoise-hare-algorithm 4 mo 26 days - #2626 1 yr 4 mo - #17056 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-traversable-fincontainer 4 mo 26 days - #2627 1 yr 4 mo - #170611 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-tree-automata 4 mo 26 days - #1775 7 mo 15 days - #163934 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-tree-diameter 4 mo 26 days - #2626 6 mo 1 day - #255613 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-weak-up-to 4 mo 26 days - #2627 1 yr 4 mo - #170616 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-zchinese 4 mo 26 days - #2626 5 mo 3 days - #261116 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-zf 4 mo 26 days - #2626 5 mo 3 days - #261127 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-zfc 4 mo 26 days - #2627 5 mo 3 days - #261227 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-zorns-lemma 4 mo 26 days - #2629 5 mo 3 days - #261451 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bench-zsearch-trees 4 mo 26 days - #2627 1 yr 4 mo - #170612 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
benchmark-part-of-the-branch 16 days - Remove primproj <-> constant dependency in Heads 1 day 6 hr - SProp vs SProp with some [@inline]1 hr 34 min 
Disabled80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
benchmark-the-whole-branch 1 yr 7 mo - #100 1 yr 7 mo - #9714 hr 
Success100%
WDescription%
Build stability: No recent builds failed.100
benchmark_lock_acquire 1 yr 11 mo - #11N/A1 hr 28 min 
Failed40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
benchng-test 11 mo - #681 11 mo - #6827 min 8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
bisect-coq-with-opam-package 1 yr 6 mo - #1N/A1.7 sec 
Success50%
WDescription%
Build stability: 2 out of the last 4 builds failed.50
chrooted-opam-install 1 yr 11 mo - #55 1 yr 11 mo - #541 hr 39 min 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
chrooted-opam-install-coq-color 1 yr 11 mo - #29 1 yr 11 mo - #2712 min 
Not built100%chrooted-opam-install-coq-compcertN/AN/AN/A 
Success100%
WDescription%
Build stability: No recent builds failed.100
chrooted-opam-install-coq-math-comp 1 yr 11 mo - #4N/A12 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
chrooted-opam-install-coq-mathcomp-algebra 1 yr 11 mo - #4N/A25 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
chrooted-opam-install-coq-mathcomp-character 1 yr 11 mo - #4N/A53 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
chrooted-opam-install-coq-mathcomp-field 1 yr 11 mo - #4N/A38 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
chrooted-opam-install-coq-mathcomp-fingroup 1 yr 11 mo - #4N/A10 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
chrooted-opam-install-coq-mathcomp-finmap 1 yr 11 mo - #4N/A9 min 47 sec 
Failed75%
WDescription%
Build stability: 1 out of the last 4 builds failed.75
chrooted-opam-install-coq-mathcomp-grobner 1 yr 11 mo - #3 1 yr 11 mo - #425 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
chrooted-opam-install-coq-mathcomp-odd_order 1 yr 11 mo - #4N/A1 hr 24 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
chrooted-opam-install-coq-mathcomp-real_closed 1 yr 11 mo - #4N/A42 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
chrooted-opam-install-coq-mathcomp-solvable 1 yr 11 mo - #4N/A24 min 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
chrooted-opam-install-coq-mathcomp-ssreflect 1 yr 11 mo - #5 1 yr 11 mo - #38 min 7 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
cleanup-pendulum 13 hr - #64 7 mo 14 days - #3252 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
cleanup-pyrolyse 13 hr - #407 7 mo 14 days - #3751 min 8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
coq-contribs-just-intuitionistic-nuprl 1 yr 7 mo - #9N/A11 hr 
Failed0%
WDescription%
Build stability: All recent builds failed.0
coq-contribs-master 1 yr 8 mo - #406 12 hr - #99311 hr 
Disabled80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
coq-trunk-macos 1 yr 7 mo - #68 1 yr 7 mo - #651 hr 46 min 
Disabled100%
WDescription%
Build stability: No recent builds failed.100
CoqIDE_MacOS 1 yr 7 mo - #461 1 yr 8 mo - #45213 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
create-working-directory 12 hr - #3399 1 yr 11 mo - #13410.47 sec 
Not built100%delete-working-directoryN/AN/AN/A 
Not built100%legacy-fieldN/AN/AN/A 
Success100%
WDescription%
Build stability: No recent builds failed.100
non_benchmark_lock_acquire 1 yr 11 mo - #224N/A58 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-init 2 mo 1 day - #2722 4 mo 15 days - #257313 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-aac-tactics 1 yr 9 mo - #719 1 yr 9 mo - #7031 min 36 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-abp 1 yr 9 mo - #710 2 yr 4 mo - #7850 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-additions 1 yr 9 mo - #704 2 yr 4 mo - #9651 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-ails 1 yr 9 mo - #702 2 yr 4 mo - #741 min 11 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-algebra 1 yr 9 mo - #702 2 yr 4 mo - #741 min 17 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-amm11262 1 yr 9 mo - #702 2 yr 4 mo - #7439 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-angles 1 yr 9 mo - #702 2 yr 4 mo - #7432 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-area-method 1 yr 9 mo - #700 2 yr 4 mo - #7215 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-atbr 1 yr 9 mo - #696 1 yr 9 mo - #6828 min 8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-automata 1 yr 9 mo - #688 2 yr 0 mo - #43332 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-axiomatic-abp 1 yr 9 mo - #683 2 yr 4 mo - #7230 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-bdds 1 yr 9 mo - #650 2 yr 4 mo - #661 min 45 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-bedrock 1 yr 3 mo - #233 1 yr 3 mo - #2508 hr 47 min 
Failed60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-bedrock-facade 1 yr 6 mo - #30 1 yr 6 mo - #3229 min 
Failed60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-bedrock-src 1 yr 6 mo - #31 1 yr 6 mo - #3328 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-bertrand 1 yr 9 mo - #680 2 yr 4 mo - #701 min 14 sec 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-bignums 2 mo 1 day - #628 2 mo 1 day - #6271 min 15 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-buchberger 1 yr 9 mo - #681 2 yr 4 mo - #721 min 13 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-canon-bdds 1 yr 9 mo - #679 2 yr 4 mo - #7034 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-cantor 1 yr 9 mo - #680 2 yr 4 mo - #711 min 3 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-cats-in-zfc 1 yr 9 mo - #639 2 yr 4 mo - #303 min 1 sec 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-cats-in-zfs 2 yr 4 mo - #40 2 yr 4 mo - #396 min 58 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-ccs 1 yr 9 mo - #678 2 yr 4 mo - #7021 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-cfgv 1 yr 9 mo - #677 2 yr 4 mo - #694 min 11 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-checker 1 yr 9 mo - #677 2 yr 4 mo - #6924 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-chinese 1 yr 9 mo - #677 2 yr 4 mo - #6930 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-circuits 1 yr 9 mo - #678 2 yr 4 mo - #7030 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-classical-realizability 1 yr 9 mo - #676 2 yr 4 mo - #682 min 24 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-coalgebras 1 yr 9 mo - #677 2 yr 4 mo - #7038 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-coinductive-examples 1 yr 9 mo - #678 2 yr 4 mo - #7121 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-coinductive-reals 1 yr 9 mo - #644 2 yr 4 mo - #385 min 24 sec 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-color 2 mo 1 day - #1190 2 mo 1 day - #11897 min 33 sec 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-compcert 2 mo 1 day - #1619 2 mo 1 day - #16186 min 26 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-concat 1 yr 9 mo - #567 2 yr 4 mo - #6845 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-constructive-geometry 1 yr 9 mo - #568 2 yr 4 mo - #6924 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-containers 1 yr 9 mo - #566 2 yr 4 mo - #674 min 12 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-continuations 1 yr 9 mo - #566 2 yr 4 mo - #6733 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-coq-in-coq 1 yr 9 mo - #566 2 yr 4 mo - #6754 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-coqoban 1 yr 9 mo - #563 2 yr 4 mo - #6524 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-coquelicot 2 mo 15 days - #971 2 mo 1 day - #9993 min 56 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-corn 2 mo 15 days - #969 2 mo 1 day - #99823 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-counting 1 yr 9 mo - #547 2 yr 4 mo - #6423 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-cours-de-coq 1 yr 9 mo - #546 2 yr 4 mo - #6324 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-ctltctl 1 yr 9 mo - #546 2 yr 4 mo - #6324 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-dblib 1 yr 9 mo - #546 2 yr 4 mo - #6348 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-demos 1 yr 9 mo - #546 2 yr 4 mo - #6328 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-dep-map 1 yr 9 mo - #545 2 yr 2 mo - #22634 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-descente-infinie 1 yr 9 mo - #541 2 yr 4 mo - #6130 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-dictionaries 1 yr 9 mo - #538 2 yr 4 mo - #5826 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-distributed-reference-counting 1 yr 9 mo - #538 2 yr 4 mo - #581 min 54 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-domain-theory 1 yr 9 mo - #539 2 yr 4 mo - #5928 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-ergo 1 yr 9 mo - #3113 1 yr 9 mo - #310110 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-euclidean-geometry 1 yr 9 mo - #525 2 yr 4 mo - #601 min 56 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-euler-formula 1 yr 9 mo - #525 2 yr 4 mo - #6038 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-exact-real-arithmetic 1 yr 9 mo - #525 2 yr 4 mo - #601 min 12 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-exceptions 1 yr 9 mo - #524 2 yr 4 mo - #5925 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-fairisle 1 yr 9 mo - #525 2 yr 4 mo - #602 min 4 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-fermat4 1 yr 9 mo - #525 2 yr 4 mo - #6045 sec 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-fiat 1 yr 5 mo - #6 1 yr 5 mo - #521 min 
Success40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
opam-install-coq-fiat-crypto 2 mo 1 day - #979 2 mo 1 day - #97837 min 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-fiat-parsers 2 mo 1 day - #995 2 mo 1 day - #9949 min 8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-finger-tree 1 yr 9 mo - #524 1 yr 9 mo - #5162 min 25 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-firing-squad 1 yr 9 mo - #524 1 yr 11 mo - #42439 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-float 1 yr 9 mo - #520 2 yr 4 mo - #582 min 9 sec 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-flocq 2 mo 1 day - #897 2 mo 1 day - #8961 min 33 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-formal-topology 2 mo 15 days - #847 2 mo 1 day - #87545 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-founify 1 yr 9 mo - #528 2 yr 4 mo - #5829 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-free-groups 1 yr 9 mo - #520 2 yr 4 mo - #5822 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-fsets 1 yr 9 mo - #519 2 yr 4 mo - #576 min 58 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-fssec-model 1 yr 9 mo - #519 2 yr 4 mo - #571 min 8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-functions-in-zfc 1 yr 9 mo - #518 2 yr 4 mo - #5623 sec 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-fundamental-arithmetic 2 yr 4 mo - #32 2 yr 4 mo - #3119 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-fundamental-arithmetics 1 yr 9 mo - #484 2 yr 4 mo - #2238 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-gc 1 yr 9 mo - #517 2 yr 4 mo - #553 min 18 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-generic-environments 1 yr 9 mo - #518 2 yr 4 mo - #5626 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-geocoq 2 mo 15 days - #1264 2 mo 1 day - #129258 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-goedel 1 yr 9 mo - #491 2 yr 4 mo - #293 min 13 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-graph-basics 1 yr 9 mo - #516 2 yr 4 mo - #5436 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-graphs 1 yr 9 mo - #497 2 yr 4 mo - #3346 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-group-theory 1 yr 9 mo - #515 2 yr 4 mo - #5328 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-groups 1 yr 9 mo - #514 2 yr 4 mo - #5221 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-hardware 1 yr 9 mo - #513 2 yr 4 mo - #5148 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-hedges 1 yr 9 mo - #513 2 yr 4 mo - #5125 sec 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-high-school-geometry 1 yr 9 mo - #514 1 yr 9 mo - #5128 min 43 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-higman-cf 1 yr 9 mo - #512 1 yr 11 mo - #42624 sec 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-higman-nw 1 yr 9 mo - #510 1 yr 9 mo - #50623 sec 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-higman-s 1 yr 9 mo - #509 1 yr 9 mo - #50530 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-historical-examples 1 yr 9 mo - #510 1 yr 9 mo - #50523 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-hoare-tut 1 yr 9 mo - #506 1 yr 9 mo - #50127 sec 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-hott 2 mo 1 day - #828 2 mo 1 day - #8272 min 31 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-huffman 1 yr 9 mo - #506 1 yr 9 mo - #50156 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-icharate 1 yr 9 mo - #506 1 yr 9 mo - #5011 min 18 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-idxassoc 1 yr 9 mo - #507 1 yr 9 mo - #50222 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-ieee754 1 yr 9 mo - #507 1 yr 9 mo - #50132 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-int-map 1 yr 9 mo - #513 1 yr 9 mo - #50740 sec 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-intuitionistic-nuprl 1 yr 9 mo - #83 1 yr 9 mo - #8228 sec 
Failed60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-ipc 1 yr 9 mo - #488 1 yr 9 mo - #4902 min 26 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-iris 1 yr 2 mo - #743 1 yr 3 mo - #6614 min 26 sec 
Failed60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-izf 1 yr 9 mo - #484 1 yr 9 mo - #48653 sec 
Failed60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-jordan-curve-theorem 1 yr 9 mo - #483 1 yr 9 mo - #48514 min 
Failed60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-jprover 1 yr 9 mo - #462 1 yr 9 mo - #46447 sec 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-karatsuba 1 yr 9 mo - #485 1 yr 9 mo - #4841 min 9 sec 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-kildall 1 yr 9 mo - #485 1 yr 9 mo - #4841 min 57 sec 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-lambda 1 yr 9 mo - #485 1 yr 9 mo - #48340 sec 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-lambek 1 yr 9 mo - #485 1 yr 9 mo - #48332 sec 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-lazy-pcf 1 yr 9 mo - #485 1 yr 9 mo - #48330 sec 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-lc 1 yr 9 mo - #485 1 yr 9 mo - #48335 sec 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-legacy-field 1 yr 9 mo - #435 1 yr 9 mo - #4331 min 49 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-legacy-ring 1 yr 9 mo - #481 1 yr 9 mo - #4741 min 7 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-lemma-overloading 1 yr 9 mo - #425 1 yr 9 mo - #4183 min 11 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-lesniewski-mereology 1 yr 9 mo - #455 1 yr 9 mo - #44828 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-lin-alg 1 yr 9 mo - #432 1 yr 9 mo - #4254 min 48 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-ltl 1 yr 9 mo - #455 1 yr 9 mo - #44828 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-maple-mode 1 yr 9 mo - #458 1 yr 9 mo - #45138 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-markov 1 yr 9 mo - #451 1 yr 9 mo - #44426 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-math-classes 2 mo 15 days - #842 2 mo 1 day - #8703 min 46 sec 
Failed80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-math-comp 1 yr 10 mo - #25 1 yr 10 mo - #2611 min 
Failed60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-mathcomp 1 yr 3 mo - #6 1 yr 3 mo - #838 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-mathcomp-algebra 2 mo 15 days - #1280 2 mo 1 day - #13084 min 17 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-mathcomp-character 2 mo 15 days - #1278 2 mo 1 day - #130625 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-mathcomp-field 2 mo 15 days - #1278 2 mo 1 day - #130618 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-mathcomp-fingroup 2 mo 15 days - #1281 2 mo 1 day - #13092 min 31 sec 
Failed80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-mathcomp-finmap 1 yr 5 mo - #545 1 yr 5 mo - #5461 min 54 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-mathcomp-grobner 1 yr 11 mo - #14 1 yr 11 mo - #55 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-mathcomp-odd_order 6 mo 27 days - #1013 2 mo 1 day - #130051 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-mathcomp-real_closed 6 mo 27 days - #954 2 mo 1 day - #124123 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-mathcomp-solvable 2 mo 15 days - #1274 2 mo 1 day - #13028 min 56 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-mathcomp-ssreflect 2 mo 15 days - #1324 2 mo 1 day - #13521 min 8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-mathcomp-sum-of-two-square 1 yr 10 mo - #2N/A1 min 19 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-maths 1 yr 9 mo - #447 2 yr 4 mo - #4631 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-matrices 1 yr 9 mo - #447 1 yr 9 mo - #44037 sec 
Failed80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-micromega 1 yr 10 mo - #284 1 yr 10 mo - #2857 min 27 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-mini-compiler 1 yr 9 mo - #416 1 yr 9 mo - #40936 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-minic 1 yr 9 mo - #414 1 yr 9 mo - #40734 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-miniml 1 yr 9 mo - #413 1 yr 9 mo - #40627 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-mod-red 1 yr 9 mo - #411 1 yr 9 mo - #40459 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-multiplier 1 yr 9 mo - #413 1 yr 9 mo - #40626 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-mutual-exclusion 1 yr 9 mo - #414 1 yr 9 mo - #40723 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-nfix 1 yr 9 mo - #413 1 yr 9 mo - #40636 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-orb-stab 1 yr 9 mo - #387 1 yr 9 mo - #3803 min 3 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-otway-rees 1 yr 9 mo - #415 1 yr 9 mo - #40837 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-paco 1 yr 9 mo - #415 1 yr 9 mo - #4081 min 13 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-paradoxes 1 yr 9 mo - #415 2 yr 4 mo - #4824 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-param-pi 1 yr 9 mo - #415 2 yr 4 mo - #4230 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-pautomata 1 yr 9 mo - #413 2 yr 4 mo - #4646 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-persistent-union-find 1 yr 9 mo - #413 2 yr 4 mo - #4255 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-pi-calc 1 yr 9 mo - #410 2 yr 4 mo - #401 min 45 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-pocklington 1 yr 9 mo - #410 2 yr 4 mo - #4035 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-presburger 1 yr 9 mo - #411 2 yr 4 mo - #431 min 2 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-prfx 1 yr 9 mo - #410 2 yr 4 mo - #4044 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-projective-geometry 1 yr 9 mo - #411 2 yr 4 mo - #4317 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-propcalc 1 yr 9 mo - #410 2 yr 4 mo - #4025 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-pts 1 yr 9 mo - #409 2 yr 4 mo - #4040 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-ptsatr 1 yr 9 mo - #408 2 yr 4 mo - #381 min 7 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-ptsf 1 yr 9 mo - #386 2 yr 4 mo - #661 min 9 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-qarith 1 yr 9 mo - #404 2 yr 4 mo - #3534 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-qarith-stern-brocot 1 yr 9 mo - #407 2 yr 4 mo - #402 min 30 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-quicksort-complexity 1 yr 9 mo - #407 2 yr 4 mo - #401 min 57 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-railroad-crossing 1 yr 9 mo - #406 2 yr 4 mo - #3725 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-ramsey 1 yr 9 mo - #407 2 yr 4 mo - #3821 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-random 1 yr 9 mo - #407 2 yr 4 mo - #871 min 12 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-rational 1 yr 9 mo - #405 1 yr 9 mo - #39838 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-recursive-definition 1 yr 9 mo - #405 2 yr 4 mo - #3930 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-reflexive-first-order 1 yr 9 mo - #406 2 yr 4 mo - #3835 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-regexp 1 yr 9 mo - #406 2 yr 4 mo - #3828 sec 
Failed80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-relation-algebra 1 yr 9 mo - #408 1 yr 9 mo - #4095 min 7 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-relation-extraction 1 yr 9 mo - #372 2 yr 4 mo - #723 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-rem 1 yr 9 mo - #406 2 yr 4 mo - #3923 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-rsa 1 yr 9 mo - #406 2 yr 4 mo - #3928 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-ruler-compass-geometry 1 yr 9 mo - #406 2 yr 4 mo - #421 min 8 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-schroeder 1 yr 9 mo - #405 2 yr 4 mo - #3922 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-search-trees 1 yr 9 mo - #406 2 yr 4 mo - #4027 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-semantics 1 yr 9 mo - #405 2 yr 4 mo - #391 min 2 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-sf-lf 2 mo 15 days - #957 2 mo 1 day - #98539 sec 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-sf-plf 2 mo 1 day - #545 2 mo 1 day - #54452 sec 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-sf-vfa 2 mo 1 day - #545 2 mo 1 day - #54445 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-shuffle 1 yr 9 mo - #405 2 yr 4 mo - #3922 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-smc 1 yr 9 mo - #384 2 yr 4 mo - #231 min 5 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-square-matrices 1 yr 9 mo - #405 2 yr 4 mo - #3922 sec 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-stalmarck 1 yr 9 mo - #404 1 yr 9 mo - #4011 min 26 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-streams 1 yr 9 mo - #400 2 yr 4 mo - #3722 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-string 1 yr 9 mo - #401 2 yr 4 mo - #4626 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-subst 1 yr 9 mo - #398 2 yr 4 mo - #3739 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-sudoku 1 yr 9 mo - #398 2 yr 4 mo - #391 min 21 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-sum-of-two-square 1 yr 9 mo - #397 2 yr 4 mo - #3650 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-tait 1 yr 9 mo - #397 2 yr 4 mo - #3659 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-tarski-geometry 1 yr 9 mo - #397 2 yr 4 mo - #381 min 19 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-three-gap 1 yr 9 mo - #397 2 yr 4 mo - #3633 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-topology 1 yr 9 mo - #379 2 yr 4 mo - #221 min 17 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-tortoise-hare-algorithm 1 yr 9 mo - #398 2 yr 4 mo - #3722 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-traversable-fincontainer 1 yr 9 mo - #399 2 yr 4 mo - #4023 sec 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
opam-install-coq-tree-automata 1 yr 9 mo - #378 1 yr 9 mo - #3771 min 11 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-tree-diameter 1 yr 9 mo - #397 2 yr 4 mo - #3625 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-coq-unimath 2 mo 15 days - #1000 2 mo 1 day - #102812 min 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-verdi-raft 2 mo 1 day - #779 2 mo 1 day - #77810 min 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
opam-install-coq-vst 2 mo 1 day - #943 2 mo 1 day - #94222 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-weak-up-to 1 yr 9 mo - #378 2 yr 4 mo - #1725 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-zchinese 1 yr 9 mo - #398 2 yr 4 mo - #3725 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-zf 1 yr 9 mo - #393 2 yr 4 mo - #3225 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-zfc 1 yr 9 mo - #397 2 yr 4 mo - #3625 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-zorns-lemma 1 yr 9 mo - #397 2 yr 4 mo - #3632 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
opam-install-coq-zsearch-trees 1 yr 9 mo - #398 2 yr 4 mo - #3621 sec 
Not built100%opam-install-intuitionistic-nuprlN/AN/AN/A 
Not built100%opam-install-lemma-overloadingN/AN/AN/A 
Failed0%
WDescription%
Build stability: All recent builds failed.0
opam-install-master 1 yr 2 mo - #50 11 hr - #4886 hr 12 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
store_compilation_times 4 mo 26 days - #1091 1 yr 11 mo - #2023 sec 
Icon:  S M L