Skip to content

Commit

Permalink
Update continuous-integration-workflow.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
npwardberkeley authored Oct 6, 2023
1 parent c88d845 commit 620294a
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/continuous-integration-workflow.yml
Original file line number Diff line number Diff line change
Expand Up @@ -149,8 +149,8 @@ jobs:
- name: Run cargo test on recursive verifier tests
uses: actions-rs/cargo@v1
with:
command: test test_recursive_verifier
args: --workspace --test-threads=1
command: test
args: test_recursive_verifier --workspace --test-threads=1
env:
RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -Ctarget-feature=${{ matrix.feature }}
RUST_LOG: 1
Expand Down

0 comments on commit 620294a

Please sign in to comment.