chore: create scripts folder (#86)

* chore: create scripts folder * remove build * clean * fix * Fix * fix * fix * fix --------- Co-authored-by: ratankaliani <[email protected]>
succinctlabs · Aug 30, 2024 · e3eb5e3 · e3eb5e3
1 parent b41180c
commit e3eb5e3
Show file tree

Hide file tree

Showing 14 changed files with 132 additions and 192 deletions.
diff --git a/.github/workflows/pr.yaml b/.github/workflows/pr.yaml
@@ -9,8 +9,7 @@ on:
     paths:
       - "crates/**"
       - "programs/**"
-      - "native-host/**"
-      - "zkvm-host/**"
+      - "scripts/**"
       - "proposer/succinct/**"
       - "Cargo.toml"
   merge_group:

diff --git a/.github/workflows/pr_lint.yml b/.github/workflows/pr_lint.yml
@@ -5,9 +5,6 @@ on:
     types:
       - opened
       - edited
-  push:
-    branches:
-      - main
 
 permissions:
   pull-requests: read
-Original file line number
+Diff line change
@@ Expand Up / @@ -5,9 +5,6 @@ on: @@
         types:
           - opened
           - edited
-      push:
-        branches:
-          - main
     permissions:
       pull-requests: read
@@ Expand Down @@