certora.yml

name: Certora

on: [push, pull_request]

jobs:
  certora:
    name: Certora
    runs-on: ubuntu-latest
    strategy:
      fail-fast: false
      matrix:
        allocator:
          - buffer
          - vault
          - roles
          - oracle
          - registry
          - swapper
          - depositoruniv3
          - stable-swapper
          - stable-depositoruniv3
          - conduit-mover

    steps:
      - name: Checkout
        uses: actions/checkout@v3
      
      - uses: actions/setup-java@v3
        with:
          distribution: 'zulu'
          java-version: '11'
          java-package: jre

      - name: Set up Python 3.8
        uses: actions/setup-python@v4
        with:
          python-version: 3.8

      - name: Install solc-select
        run: pip3 install solc-select

      - name: Solc Select 0.8.16
        run: solc-select install 0.8.16

      - name: Install Certora
        run: pip3 install certora-cli-beta

      - name: Certora verify ${{ matrix.allocator }}
        run: make certora-${{ matrix.allocator }}
        env:
          CERTORAKEY: ${{ secrets.CERTORAKEY }}