Skip to content

Rename PreLiquidation -> SoftLiquidation #137

Rename PreLiquidation -> SoftLiquidation

Rename PreLiquidation -> SoftLiquidation #137

Workflow file for this run

name: Certora
on:
push:
branches:
- main
pull_request:
workflow_dispatch:
jobs:
verify:
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
conf:
- Immutability
- Liveness
- Reentrancy
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.19)
run: |
wget https://github.com/ethereum/solidity/releases/download/v0.8.19/solc-static-linux
chmod +x solc-static-linux
sudo mv solc-static-linux /usr/local/bin/solc-0.8.19
- 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: Verify ${{ matrix.conf }} specification
run: certoraRun certora/confs/${{ matrix.conf }}.conf
env:
CERTORAKEY: ${{ secrets.CERTORAKEY }}