remove deleted files

pluto · Aug 28, 2024 · 0cb78eb · 0cb78eb
1 parent 6a48ff5
commit 0cb78eb
Show file tree

Hide file tree

Showing 15 changed files with 4 additions and 1,064 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -32,4 +32,4 @@ jobs:
         circom --version
 
     - name: Run tests
-      run: npm run par-test
+      run: npm run test
diff --git a/circuits/parser_http_request/language.circom b/circuits/parser_http_request/language.circom
diff --git a/circuits/parser_http_request/machine.circom b/circuits/parser_http_request/machine.circom
diff --git a/circuits/parser_http_request/parser.circom b/circuits/parser_http_request/parser.circom
diff --git a/circuits/parser_json/language.circom b/circuits/parser_json/language.circom