Skip to content

Renaming + Certora adjustments #154

Renaming + Certora adjustments

Renaming + Certora adjustments #154

Workflow file for this run

name: Certora
on: [push, pull_request]
jobs:
certora:
name: Certora
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
usds:
- usds
- usds-join
- dai-usds
steps:
- name: Checkout
uses: actions/checkout@v3
- uses: actions/setup-java@v2
with:
distribution: 'zulu'
java-version: '11'
java-package: jre
- name: Set up Python 3.8
uses: actions/setup-python@v3
with:
python-version: 3.8
- name: Install solc-select
run: pip3 install solc-select
- name: Solc Select 0.8.21
run: solc-select install 0.8.21
- name: Install Certora
run: pip3 install certora-cli-beta
- name: Verify ${{ matrix.usds }}
run: make certora-${{ matrix.usds }}
env:
CERTORAKEY: ${{ secrets.CERTORAKEY }}