update harness #7
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: [push, pull_request] | |
| jobs: | |
| formatting: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: actions/setup-node@v3 | |
| - run: npm install | |
| - run: npm run format:check | |
| test: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| # workaround for https://github.com/NomicFoundation/hardhat/issues/3877 | |
| - uses: actions/setup-node@v3 | |
| with: | |
| node-version: 18.15 | |
| - run: npm install | |
| - run: npm test | |
| - uses: actions/cache@v3 | |
| with: | |
| path: fuzzing/corpus | |
| key: fuzzing | |
| - run: npm run fuzz | |
| verify: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Install Python | |
| uses: actions/setup-python@v2 | |
| with: { python-version: 3.9 } | |
| - name: Install Java | |
| uses: actions/setup-java@v1 | |
| with: { java-version: "11", java-package: jre } | |
| - name: Install Certora CLI | |
| run: pip3 install certora-cli==7.6.3 | |
| - name: Install Solidity | |
| run: | | |
| wget https://github.com/ethereum/solidity/releases/download/v0.8.23/solc-static-linux | |
| chmod +x solc-static-linux | |
| sudo mv solc-static-linux /usr/local/bin/solc | |
| - name: "Install Node.js" | |
| uses: "actions/setup-node@v3" | |
| with: | |
| cache: "npm" | |
| node-version: "lts/*" | |
| - name: "Install the Node.js dependencies" | |
| run: "npm install" | |
| - name: Verify rules | |
| run: "npm run verify" | |
| env: | |
| CERTORAKEY: ${{ secrets.CERTORAKEY }} | |
| strategy: | |
| fail-fast: false | |
| max-parallel: 16 |