Skip to content
certora-gsm

Merge pull request #453 from aave/francesc/devops-980-implement-depen… #293

Sign in to view logs

Merge pull request #453 from aave/francesc/devops-980-implement-depen…

Merge pull request #453 from aave/francesc/devops-980-implement-depen… #293

Triggered via push September 23, 2025 11:45
@absisabsis
pushed c6335a0
main
Status Cancelled
Total duration 38s
Artifacts –

certora-gsm.yml

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

Annotations

31 errors
verify (gho-gsm_inverse.conf)
The operation was canceled.
verify (gho-gsm_inverse.conf)
The run was canceled by @absis.
verify (balances-buy.conf)
The operation was canceled.
verify (balances-buy.conf)
The run was canceled by @absis.
verify (gho-assetToGhoInvertibility.conf --rule basicProperty_getAssetAmountForBuyAsset sellAsset...
The operation was canceled.
verify (gho-assetToGhoInvertibility.conf --rule basicProperty_getAssetAmountForBuyAsset sellAsset...
The run was canceled by @absis.
verify (fees-buy.conf)
The operation was canceled.
verify (fees-buy.conf)
The run was canceled by @absis.
verify (fees-sell.conf)
The operation was canceled.
verify (fees-sell.conf)
The run was canceled by @absis.
verify (FixedFeeStrategy.conf)
The operation was canceled.
verify (FixedFeeStrategy.conf)
The run was canceled by @absis.
verify (finishedRules.conf --rule whoCanChangeExposure whoCanChangeAccruedFees sellingDoesntExcee...
The operation was canceled.
verify (finishedRules.conf --rule whoCanChangeExposure whoCanChangeAccruedFees sellingDoesntExcee...
The run was canceled by @absis.
verify (gho-gsm.conf)
The operation was canceled.
verify (gho-gsm.conf)
The run was canceled by @absis.
verify (gho-gsm.conf)
The operation was canceled.
verify (gho-gsm.conf)
The run was canceled by @absis.
verify (optimality.conf --rule R3_optimalityOfSellAsset_v1 R1_optimalityOfBuyAsset_v1 R6a_externa...
The operation was canceled.
verify (optimality.conf --rule R3_optimalityOfSellAsset_v1 R1_optimalityOfBuyAsset_v1 R6a_externa...
The run was canceled by @absis.
verify (balances-sell.conf)
The operation was canceled.
verify (balances-sell.conf)
The run was canceled by @absis.
verify (gho-fixedPriceStrategy.conf)
The operation was canceled.
verify (gho-fixedPriceStrategy.conf)
The run was canceled by @absis.
certora-gsm
The run was canceled by @absis.
verify (getAmount_properties.conf --rule getAssetAmountForBuyAsset_funcProperty_LR getAssetAmount...
The operation was canceled.
verify (gho-assetToGhoInvertibility.conf --rule basicProperty2_getAssetAmountForBuyAsset)
The operation was canceled.
verify (gho-assetToGhoInvertibility.conf --rule basicProperty2_getAssetAmountForBuyAsset)
The run was canceled by @absis.
verify (getAmount_properties.conf --rule getAssetAmountForBuyAsset_funcProperty_LR getAssetAmount...
The run was canceled by @absis.
verify (OracleSwapFreezer.conf)
The operation was canceled.
verify (OracleSwapFreezer.conf)
The run was canceled by @absis.