diff --git a/pkgs/plt-services/meta/pkg-index/official/static.rkt b/pkgs/plt-services/meta/pkg-index/official/static.rkt index 99b93e6314..0b06da4c8d 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static.rkt +++ b/pkgs/plt-services/meta/pkg-index/official/static.rkt @@ -255,17 +255,17 @@ [pb-docs (pbl 'docs)] [st (if (and pb-docs (cons? pb-docs) (andmap (λ (d) - (or (doc/main? pb-docs) - (doc/extract? pb-docs) - (doc/salvage? pb-docs))) + (or (doc/main? d) + (doc/extract? d) + (doc/salvage? d))) pb-docs)) (hash-set st ':docs: #t) st)] [st (if (and pb-docs (cons? pb-docs) (andmap (λ (d) - (or (doc/extract? pb-docs) - (doc/salvage? pb-docs) - (doc/none? pb-docs))) + (or (doc/extract? d) + (doc/salvage? d) + (doc/none? d))) pb-docs)) (hash-set st ':docs-error: #t) st)]) diff --git a/pkgs/plt-services/meta/pkg-index/official/static/index.js b/pkgs/plt-services/meta/pkg-index/official/static/index.js index 7e53aefa87..e2e76e3d1b 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static/index.js +++ b/pkgs/plt-services/meta/pkg-index/official/static/index.js @@ -443,7 +443,7 @@ $( document ).ready(function() { .append($('') .append($('', { href: build_host + value['build']['failure-log'] }).html( "fails" ))); } else if ( value['build']['success-log'] && value['build']['dep-failure-log'] ) { - bstatus = $('', {class: 'build_red'}) + bstatus = $('', {class: 'build_yellow'}) .append($('') .append($('', { href: build_host + value['build']['success-log'] }).html( "succeeds" )) .append(" with ")