Skip to content
certora-gho-5.0.5

Gsm4626 deployment script #261

Sign in to view logs

Gsm4626 deployment script

Gsm4626 deployment script #261

Triggered via pull request January 29, 2025 09:37
@miguelmtzinfmiguelmtzinf
opened #444
TokenLogic-com-au:gsm4626
Status Failure
Total duration 1m 52s
Artifacts –

certora-gho-505.yml

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

Annotations

1 error
verify (verifyGhoVariableDebtToken_specialBranch.conf --rule sendersDiscountPercentCannotIncrease)
Process completed with exit code 1.