Don't grep output yet

mroeschke · mroeschke · commit c4ae3a7cf13e · 2018-01-23T19:15:16.000-08:00
diff --git a/ci/asv.sh b/ci/asv.sh
@@ -13,7 +13,7 @@ if [ "$ASV" ]; then
 
     asv machine --yes
 
-    time asv dev | grep "failed"
+    time asv dev
 
     if [ $? = "0" ]; then
         RET=1
