Skip to content
Certora

Rename PreLiquidation -> SoftLiquidation #140

Sign in to view logs

Rename PreLiquidation -> SoftLiquidation

Rename PreLiquidation -> SoftLiquidation #140

Triggered via pull request October 5, 2024 09:09
@peyhapeyha
synchronize #80
chore/rename
Status Success
Total duration 7m 44s
Billable time 18m
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in