certora.yml

name: Certora

on:
  push:
    branches:
      - main
  pull_request:
  workflow_dispatch:

jobs:
  verify:
    runs-on: ubuntu-latest

    strategy:
      fail-fast: false

      matrix:
        conf:
          - DelegationEthereum
          - DelegationOptimism
          - ERC20InvariantsEthereum
          - ERC20Ethereum
          - ERC20InvariantsOptimism
          - ERC20Optimism
          - ExternalCallsEthereum
          - ExternalCallsOptimism
          - MintBurnEthereum
          - MintBurnOptimism
          - RevertsERC20Ethereum
          - RevertsERC20Optimism
          - RevertsMintBurnEthereum
          - RevertsMintBurnOptimism

    steps:
      - uses: actions/checkout@v4
        with:
          submodules: recursive

      - name: Install python
        uses: actions/setup-python@v5
        with:
          python-version: ">=3.11"

      - name: Install certora
        run: pip install certora-cli

      - name: Install solc (0.8.27)
        run: |
          wget https://github.com/ethereum/solidity/releases/download/v0.8.27/solc-static-linux
          chmod +x solc-static-linux
          sudo mv solc-static-linux /usr/local/bin/solc-0.8.27

      - name: Apply munging
        run: make -C certora munged

      - name: Verify ${{ matrix.conf }} specification
        run: certoraRun certora/confs/${{ matrix.conf }}.conf
        env:
          CERTORAKEY: ${{ secrets.CERTORAKEY }}