diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 001b7df..e0d9ceb 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -11,7 +11,6 @@ on: jobs: lint: runs-on: ubuntu-latest - steps: - uses: actions/checkout@v4 @@ -34,9 +33,18 @@ jobs: - name: Build for WASM run: cargo build --target wasm32-unknown-unknown + tests: - runs-on: ubuntu-latest needs: lint + runs-on: ubuntu-latest + timeout-minutes: 360 + strategy: + matrix: + test_name: + - test_gradient_boosting + - test_integer_hash + - test_bulk_ops + - test_toy_rsa steps: - uses: actions/checkout@v4 @@ -48,7 +56,11 @@ jobs: profile: minimal override: true - - name: Run tests - run: cargo test -r -- --ignored - - + - name: Run ${{ matrix.test_name }} + run: | + # keep the runner alive and then run just this one ignored test + timeout 21600 bash -c ' + while true; do echo "🟢 still running..."; sleep 60; done & + RUST_LOG=debug cargo test --release --package zk-engine --lib \ + -- tests::${{ matrix.test_name }} --exact --show-output --ignored + ' \ No newline at end of file diff --git a/src/tests.rs b/src/tests.rs index 5ed4478..4e773cb 100644 --- a/src/tests.rs +++ b/src/tests.rs @@ -33,15 +33,6 @@ fn test_wasm_snark_with(wasm_ctx: impl ZKWASMCtx, step_size: StepSize) -> Result let verification_timer = start_timer!("Verifying RecursiveWasmSNARK"); rs_snark.verify(&pp, &U).unwrap(); stop_timer!(verification_timer); - - let proving_timer = start_timer!("Producing compressedSNARK"); - let snark = rs_snark.compress(&pp, &U)?; - stop_timer!(proving_timer); - - let verification_timer = start_timer!("Verifying WasmSNARK"); - snark.verify(&pp, &U).unwrap(); - stop_timer!(verification_timer); - Ok(()) }