fix test-all

Author: LexLuthr

.circleci/config.yml

@@ -144,7 +144,7 @@ jobs:
         description: Flags passed to go test.
       target:
         type: string
-        default: "./... | grep -v itests"
+        default: "./..."
         description: Import paths of packages to be tested.
       proofs-log-test:
         type: string