ci: remove pull request branch filter

pluto · Mar 4, 2025 · fff5c66 · fff5c66
1 parent 954a184
commit fff5c66
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/web-prover.yaml b/.github/workflows/web-prover.yaml
@@ -4,7 +4,7 @@ on:
   push:
     branches: ["main"]
   pull_request:
-    branches: ["*"]
+    branches: ["**"]
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

diff --git a/client/src/origo_wasm32.rs b/client/src/origo_wasm32.rs
@@ -201,7 +201,7 @@ async fn handle_tee_mode(
   let mut framed_reunited_socket =
     Framed::new(reunited_socket.compat(), LengthDelimitedCodec::new());
 
-  let manifest = config.proving.manifest.unwrap();
+  let manifest = config.manifest;
   let manifest_bytes: Vec<u8> = (&manifest).try_into().unwrap();
   framed_reunited_socket.send(Bytes::from(manifest_bytes)).await?;