Clean up

scroll-tech · Jan 9, 2025 · ff07f85 · ff07f85
1 parent 08f34e7
commit ff07f85
Show file tree

Hide file tree

Showing 16 changed files with 923 additions and 889 deletions.
diff --git a/ceno_zkvm/Cargo.toml b/ceno_zkvm/Cargo.toml
@@ -53,7 +53,6 @@ criterion.workspace = true
 pprof2.workspace = true
 proptest.workspace = true
 
-
 [build-dependencies]
 glob = "0.3"
 

diff --git a/is_prime/.env.example b/is_prime/.env.example
diff --git a/is_prime/.github/workflows/foundry-test.yml b/is_prime/.github/workflows/foundry-test.yml
diff --git a/is_prime/.github/workflows/prove.yml b/is_prime/.github/workflows/prove.yml
diff --git a/is_prime/.gitignore b/is_prime/.gitignore
@@ -16,4 +16,5 @@ pgo-data.profdata
 **/proof-with-io.json
 
 # Env
-.env
+.env
+elf/
-Original file line number
+Diff line change
@@ Expand Up / @@ -16,4 +16,5 @@ pgo-data.profdata @@
     **/proof-with-io.json
     # Env
-    .env
+    .env
+    elf/