certora_4337.yml

name: certora

on:
  push:
    branches:
      - main
    paths:
      - modules/4337/**
  pull_request:
    branches:
      - main
    paths:
      - modules/4337/**

  workflow_dispatch:

jobs:
  verify:
    runs-on: ubuntu-latest
    strategy:
      matrix:
        rule: ['verify4337Module.sh', 'verifyTransactionExecutionMethods.sh', 'verifyValidationData.sh']
    steps:
      - uses: actions/checkout@v3

      - name: Install pnpm
        uses: pnpm/action-setup@v3
        with:
          version: 9

      - name: Install python
        uses: actions/setup-python@v4
        with: { python-version: 3.11 }

      - name: Install certora cli
        run: pip install -Iv certora-cli==7.3.0

      - name: Install solc
        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/solc8.23

      - name: Install dependencies
        run: pnpm install

      - name: Verify rule ${{ matrix.rule }}
        working-directory: ./modules/4337
        run: |
          echo "key length" ${#CERTORAKEY}
          chmod +x ./certora/scripts/${{ matrix.rule }}
          ./certora/scripts/${{ matrix.rule }}
        env:
          CERTORAKEY: ${{ secrets.CERTORA_KEY }}