feat: Forward ports

.config/nextest.toml

@@ -16,10 +16,10 @@ limited = { max-threads = 4 }
 very-limited = { max-threads = 1 }
 
 [[profile.ci.overrides]]
-filter = '(test(syscall::precompiles) | test(stark::machine) | test(test_verifier_export) | package(sphinx-recursion-program) | package(sphinx-recursion-circuit))'
+filter = '(test(syscall::precompiles) | test(stark::machine) | package(sphinx-recursion-program) | package(sphinx-recursion-circuit))'
 test-group = 'limited'
 
 [[profile.ci.overrides]]
-filter = '(test(test_e2e))'
+filter = '(test(test_e2e) | test(test_verifier_export))'
 slow-timeout = { period = "1500s", terminate-after = 4 }
 test-group = 'very-limited'

.github/workflows/tests.yml

@@ -87,6 +87,12 @@ jobs:
           perf: false
       - name: Install deps
         run: sudo apt update && sudo apt install cmake -y
+      - name: Install `sphinx-recursion-gnark-cli` CLI
+        run: |
+          cargo install --locked --force --path .
+        working-directory: ${{ github.workspace }}/recursion/gnark-cli
+      # TODO: run test-plonk-bn254 once the CLI is ready,
+      # which relies on an updated witness/constraints.json in the PR
       - name: Install `cargo prove` CLI
         run: |
           cargo install --locked --force --path ./cli
@@ -171,7 +177,7 @@ jobs:
           - repo: zk-light-clients
             path: ethereum
             features: ethereum
-          - repo: loam
+          - repo: lurk
             path: ""
     steps:
       - uses: actions/checkout@v4