Adding automata verifier to Celestia Contracts branch #108
Workflow file for this run
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: | |
| workflow_dispatch: | |
| pull_request: | |
| merge_group: | |
| push: | |
| branches: | |
| - master | |
| - develop | |
| jobs: | |
| test-unit: | |
| name: Test unit | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: recursive | |
| - name: Install Foundry | |
| uses: foundry-rs/foundry-toolchain@v1 | |
| with: | |
| version: nightly | |
| - name: Setup node/yarn | |
| uses: actions/setup-node@v3 | |
| with: | |
| node-version: 18 | |
| cache: 'yarn' | |
| cache-dependency-path: '**/yarn.lock' | |
| - name: Install packages | |
| run: yarn | |
| - name: Prepare Environment Variables | |
| run: | | |
| cp .env.sample.goerli .env | |
| export $(grep -v '^#' .env | xargs) # Load variables | |
| for var in $(grep -v '^#' .env | cut -d= -f1); do | |
| echo "$var=${!var}" >> $GITHUB_ENV | |
| done | |
| - name: Build | |
| run: forge test | |
| tests: | |
| name: Contract tests | |
| runs-on: ubuntu-8 | |
| defaults: | |
| run: | |
| shell: bash | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| with: | |
| submodules: recursive | |
| - name: Install Foundry | |
| uses: foundry-rs/foundry-toolchain@v1 | |
| with: | |
| version: nightly | |
| - name: Setup nodejs | |
| uses: actions/setup-node@v2 | |
| with: | |
| node-version: '18' | |
| cache: 'yarn' | |
| cache-dependency-path: '**/yarn.lock' | |
| - name: Install Foundry | |
| uses: foundry-rs/foundry-toolchain@v1 | |
| with: | |
| version: nightly | |
| - name: Prepare Environment Variables | |
| run: | | |
| cp .env.sample.goerli .env | |
| export $(grep -v '^#' .env | xargs) # Load variables | |
| for var in $(grep -v '^#' .env | cut -d= -f1); do | |
| echo "$var=${!var}" >> $GITHUB_ENV | |
| done | |
| - name: Install dependencies | |
| run: yarn install | |
| - name: Lint Contracts | |
| run: yarn solhint | |
| - name: Lint Test Scripts | |
| run: yarn lint:test | |
| - name: Build | |
| run: yarn build:all | |
| - name: Run tests | |
| run: yarn hardhat --network hardhat test test/contract/*.spec.ts | |
| - name: Interface compatibility | |
| run: yarn run test:compatibility | |
| - name: Forge build | |
| run: forge build | |
| - name: Test size | |
| run: yarn contract:size | |
| - name: Test Storage Layouts | |
| run: yarn run test:storage | |
| - name: Test function signatures | |
| run: yarn run test:signatures | |
| - name: Run unused Solidity errors checker | |
| uses: OffchainLabs/actions/check-unused-errors@main | |
| with: | |
| directory: './src' | |
| exceptions_file: './test/unused-errors/exceptions.txt' | |
| - name: Run coverage | |
| run: yarn hardhat coverage --testfiles "test/contract/*.spec.ts" | |
| - name: Upload coverage to Codecov | |
| uses: codecov/codecov-action@v2 | |
| with: | |
| fail_ci_if_error: false | |
| files: ./contracts/coverage.json | |
| verbose: false | |
| token: ${{ secrets.CODECOV_TOKEN }} | |
| test-4844: | |
| name: 4844 tests | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: recursive | |
| - name: Install Foundry | |
| uses: foundry-rs/foundry-toolchain@v1 | |
| with: | |
| version: nightly | |
| - name: Prepare Environment Variables | |
| run: | | |
| cp .env.sample.goerli .env | |
| export $(grep -v '^#' .env | xargs) # Load variables | |
| for var in $(grep -v '^#' .env | cut -d= -f1); do | |
| echo "$var=${!var}" >> $GITHUB_ENV | |
| done | |
| - uses: OffchainLabs/actions/run-nitro-test-node@test-node-args | |
| with: | |
| nitro-testnode-ref: deneb-integration | |
| args: --pos | |
| no-token-bridge: true | |
| - name: Setup nodejs | |
| uses: actions/setup-node@v2 | |
| with: | |
| node-version: 18 | |
| cache: 'yarn' | |
| cache-dependency-path: '**/yarn.lock' | |
| - name: Install dependencies | |
| run: yarn install | |
| - name: Build | |
| run: yarn build:all | |
| - name: Test 4844 | |
| run: yarn test:4844 | |
| test-e2e: | |
| name: Test e2e | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: recursive | |
| - uses: OffchainLabs/actions/run-nitro-test-node@main | |
| with: | |
| l3-node: true | |
| no-token-bridge: true | |
| no-l3-token-bridge: true | |
| nitro-contracts-branch: '${{ github.event.pull_request.head.sha || github.sha }}' | |
| - name: Setup node/yarn | |
| uses: actions/setup-node@v3 | |
| with: | |
| node-version: 18 | |
| cache: 'yarn' | |
| cache-dependency-path: '**/yarn.lock' | |
| - name: Prepare Environment Variables | |
| run: | | |
| cp .env.sample.goerli .env | |
| export $(grep -v '^#' .env | xargs) # Load variables | |
| for var in $(grep -v '^#' .env | cut -d= -f1); do | |
| echo "$var=${!var}" >> $GITHUB_ENV | |
| done | |
| - name: Install packages | |
| run: yarn | |
| - name: Compile contracts | |
| run: yarn build | |
| - name: Run e2e tests | |
| run: yarn test:e2e | |
| test-e2e-custom-fee-token: | |
| name: Test e2e custom fee token | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: recursive | |
| - uses: OffchainLabs/actions/run-nitro-test-node@main | |
| with: | |
| l3-node: true | |
| args: --l3-fee-token | |
| no-token-bridge: true | |
| no-l3-token-bridge: true | |
| nitro-contracts-branch: '${{ github.event.pull_request.head.sha || github.sha }}' | |
| - name: Setup node/yarn | |
| uses: actions/setup-node@v3 | |
| with: | |
| node-version: 18 | |
| cache: 'yarn' | |
| cache-dependency-path: '**/yarn.lock' | |
| - name: Prepare Environment Variables | |
| run: | | |
| cp .env.sample.goerli .env | |
| export $(grep -v '^#' .env | xargs) # Load variables | |
| for var in $(grep -v '^#' .env | cut -d= -f1); do | |
| echo "$var=${!var}" >> $GITHUB_ENV | |
| done | |
| - name: Install packages | |
| run: yarn | |
| - name: Compile contracts | |
| run: yarn build | |
| - name: Run e2e tests | |
| run: yarn test:e2e | |
| test-e2e-fee-token-6-decimals: | |
| name: Test e2e fee token with 6 decimals | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: recursive | |
| - uses: OffchainLabs/actions/run-nitro-test-node@main | |
| with: | |
| l3-node: true | |
| args: --l3-fee-token --l3-fee-token-decimals 6 | |
| no-token-bridge: true | |
| no-l3-token-bridge: true | |
| nitro-contracts-branch: '${{ github.event.pull_request.head.sha || github.sha }}' | |
| - name: Setup node/yarn | |
| uses: actions/setup-node@v3 | |
| with: | |
| node-version: 18 | |
| cache: 'yarn' | |
| cache-dependency-path: '**/yarn.lock' | |
| - name: Prepare Environment Variables | |
| run: | | |
| cp .env.sample.goerli .env | |
| export $(grep -v '^#' .env | xargs) # Load variables | |
| for var in $(grep -v '^#' .env | cut -d= -f1); do | |
| echo "$var=${!var}" >> $GITHUB_ENV | |
| done | |
| - name: Install packages | |
| run: yarn | |
| - name: Compile contracts | |
| run: yarn build | |
| - name: Run e2e tests | |
| run: yarn test:e2e |