From d55cf6d8fc62fb7202e6d1de41b0173bcb2c8bb3 Mon Sep 17 00:00:00 2001 From: Tsahi Zidenberg Date: Mon, 12 Feb 2024 19:58:10 -0700 Subject: [PATCH] remove js-runtime from ci test --- .github/workflows/arbitrator-ci.yml | 3 --- 1 file changed, 3 deletions(-) diff --git a/.github/workflows/arbitrator-ci.yml b/.github/workflows/arbitrator-ci.yml index 80aaff21f..bdbe103bc 100644 --- a/.github/workflows/arbitrator-ci.yml +++ b/.github/workflows/arbitrator-ci.yml @@ -175,9 +175,6 @@ jobs: command: fmt args: --all --manifest-path arbitrator/langs/rust/Cargo.toml -- --check - - name: Rust Js Runtime Tests - run: make test-js-runtime - - name: Make proofs from test cases run: make -j8 test-gen-proofs