Skip to content
certora-gho-5.0.5

Certora #45

Sign in to view logs

Certora

Certora #45

Triggered via pull request September 15, 2024 09:22
@MichaelMoramiMichaelMorami
synchronize #11
certora
Status Cancelled
Total duration 3m 0s
Artifacts –

certora-gho-505.yml

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

Annotations

2 errors
verify (verifyGhoVariableDebtToken_specialBranch.conf --rule sendersDiscountPercentCannotIncrease)
The run was canceled by @MichaelMorami.
verify (verifyGhoVariableDebtToken_specialBranch.conf --rule sendersDiscountPercentCannotIncrease)
The operation was canceled.