Rename PreLiquidation -> SoftLiquidation #139

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (Immutability)	4m 47s
verify (Liveness)	24s
verify (Reentrancy)	4m 41s
	9m 52s