Clean up

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

Hide file tree

Showing 15 changed files with 923 additions and 888 deletions.
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/