Skip to content

Rename PreLiquidation -> SoftLiquidation #139

Rename PreLiquidation -> SoftLiquidation

Rename PreLiquidation -> SoftLiquidation #139

Triggered via pull request October 5, 2024 09:03
@peyhapeyha
synchronize #80
chore/rename
Status Failure
Total duration 4m 58s
Billable time 11m
Artifacts

certora.yml

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

Annotations

1 error
verify (Liveness)
Process completed with exit code 1.