Don't grep output yet

mroeschke · mroeschke · commit fe494b03b633 · 2018-01-24T18:41:11.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
