Merge branch 'main' into 'mopro-wasm' and resolve conflicts in Cargo.…

…lock
zkmopro · Dec 3, 2024 · b403703 · b403703
2 parents 71a61bc + a5ca051
commit b403703
Show file tree

Hide file tree

Showing 118 changed files with 3,738 additions and 3,518 deletions.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -22,6 +22,17 @@ jobs:
 
             - name: Check formatting
               run: cargo fmt --all -- --check
+
+    cli:
+        runs-on: ubuntu-latest
+        if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
+        steps:
+            - uses: actions/checkout@v4
+            - name: Install cli
+              run: |
+                cd cli
+                cargo install --path .
+                mopro --help
 
     test-ffi-halo2:
         runs-on: ubuntu-latest