Skip to content

Commit

Permalink
remove existing v2 test on CI
Browse files Browse the repository at this point in the history
  • Loading branch information
rahxephon89 committed Nov 7, 2024
1 parent e04980f commit 2179d26
Showing 1 changed file with 0 additions and 14 deletions.
14 changes: 0 additions & 14 deletions .github/actions/move-tests-compiler-v2/action.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -24,20 +24,6 @@ runs:
run: cargo x affected-packages -vv
shell: bash

# Run Aptos Move tests with compiler V2
- name: Run Aptos Move tests with compiler V2
run: cargo x targeted-compiler-v2-tests -vv --release --profile ci --locked --no-fail-fast
shell: bash
env:
MOVE_COMPILER_V2: true
RUST_MIN_STACK: 4297152
MVP_TEST_ON_CI: true
SOLC_EXE: /home/runner/bin/solc
Z3_EXE: /home/runner/bin/z3
CVC5_EXE: /home/runner/bin/cvc5
DOTNET_ROOT: /home/runner/.dotnet
BOOGIE_EXE: /home/runner/.dotnet/tools/boogie

# Run move_pr.sh -i2
- name: Run move_pr.sh with V2 flag
shell: bash
Expand Down

0 comments on commit 2179d26

Please sign in to comment.