diff --git a/.github/workflows/test.yml b/.github/workflows/run_tests.yml similarity index 63% rename from .github/workflows/test.yml rename to .github/workflows/run_tests.yml index 533d38f..f6781c4 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/run_tests.yml @@ -1,9 +1,12 @@ -name: EVM Placeholder verification tests +name: run-tests on: - push: - branches: [ master ] pull_request: + paths-ignore: + - 'docs/**' + - '.clang-format' + - '.gitignore' + - 'README.md' concurrency: group: ${{ @@ -15,7 +18,7 @@ concurrency: jobs: - test: + run-tests: runs-on: [ ubuntu-22.04 ] steps: - uses: actions/checkout@v3 @@ -25,12 +28,16 @@ jobs: - name: Install node dependencies run: | - set -xe - npm i + npm install - - name: Run tests + - name: Hadrhat tests + run: | + npx hardhat test + + - name: Hadrhat deploy run: | - set -eo pipefail - npx hardhat test npx hardhat deploy + + - name: Verification of all zkllvm proofs + run: | npx hardhat verify-circuit-proof-all