Merge remote-tracking branch 'origin' into doc-flutter

.github/workflows/build-and-test.yml

@@ -21,6 +21,17 @@ jobs:
             - uses: actions/checkout@v4
             - 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
@@ -46,6 +57,18 @@ jobs:
                   override: true
             - name: Run ffi circom tests
               run: cd mopro-ffi && cargo test --features circom --no-default-features
+    test-ffi-ashlang:
+        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 Rust toolchain
+              uses: actions-rs/toolchain@v1
+              with:
+                  toolchain: stable
+                  override: true
+            - name: Run ffi ashlang tests
+              run: cd mopro-ffi && cargo test --features ashlang --no-default-features
     test-e2e:
         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
@@ -179,4 +202,4 @@ jobs:
             - name: Setup Android SDK
               uses: android-actions/[email protected]
             - name: Build android app
-              run: cd test-e2e/android && ./gradlew build
+              run: cd test-e2e/android && ./gradlew build