Skip to content
certora-gsm

Modular Gho Stewards #93

Sign in to view logs

Modular Gho Stewards

Modular Gho Stewards #93

Triggered via pull request July 20, 2024 00:51
@CheyenneAtapourCheyenneAtapour
synchronize #414
feat/ccip-extension
Status Failure
Total duration 17s
Artifacts –

certora-gsm.yml

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

Annotations

30 errors and 30 warnings
verify (non-4626/antti-optimality.conf --rule R3_optimalityOfSellAsset_v1 R1_optimalityOfBuyAsset...
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/antti-optimality.conf --rule R3_optimalityOfSellAsset_v1 R1_optimalityOfBuyAsset...
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/Alex-gho-gsm_inverse.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/Alex-gho-gsm_inverse.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/fees-buy.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/fees-buy.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/balances-buy.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/balances-buy.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/Dominik-gho-fixedPriceStrategy.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/Dominik-gho-fixedPriceStrategy.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/Martin-gho-gsm.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/Martin-gho-gsm.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/Dominik-gho-assetToGhoInvertibility.conf --rule basicProperty2_getAssetAmountFor...
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/Dominik-gho-assetToGhoInvertibility.conf --rule basicProperty2_getAssetAmountFor...
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/otakar-OracleSwapFreezer.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/otakar-OracleSwapFreezer.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/otakar-finishedRules.conf --rule whoCanChangeExposure whoCanChangeAccruedFees se...
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/otakar-finishedRules.conf --rule whoCanChangeExposure whoCanChangeAccruedFees se...
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/Alex-gho-gsm.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/Alex-gho-gsm.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/otakar-FixedFeeStrategy.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/otakar-FixedFeeStrategy.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/fees-sell.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/fees-sell.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/otakar-getAmount_properties.conf --rule getAssetAmountForBuyAsset_funcProperty_L...
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/otakar-getAmount_properties.conf --rule getAssetAmountForBuyAsset_funcProperty_L...
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/Dominik-gho-assetToGhoInvertibility.conf --rule basicProperty_getAssetAmountForB...
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/Dominik-gho-assetToGhoInvertibility.conf --rule basicProperty_getAssetAmountForB...
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/balances-sell.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (non-4626/balances-sell.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/antti-optimality.conf --rule R3_optimalityOfSellAsset_v1 R1_optimalityOfBuyAsset...
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/antti-optimality.conf --rule R3_optimalityOfSellAsset_v1 R1_optimalityOfBuyAsset...
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/Alex-gho-gsm_inverse.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/Alex-gho-gsm_inverse.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/fees-buy.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/fees-buy.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/balances-buy.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/balances-buy.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/Dominik-gho-fixedPriceStrategy.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/Dominik-gho-fixedPriceStrategy.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/Martin-gho-gsm.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/Martin-gho-gsm.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/Dominik-gho-assetToGhoInvertibility.conf --rule basicProperty2_getAssetAmountFor...
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/Dominik-gho-assetToGhoInvertibility.conf --rule basicProperty2_getAssetAmountFor...
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/otakar-OracleSwapFreezer.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/otakar-OracleSwapFreezer.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/otakar-finishedRules.conf --rule whoCanChangeExposure whoCanChangeAccruedFees se...
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/otakar-finishedRules.conf --rule whoCanChangeExposure whoCanChangeAccruedFees se...
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/Alex-gho-gsm.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/Alex-gho-gsm.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/otakar-FixedFeeStrategy.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/otakar-FixedFeeStrategy.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/fees-sell.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/fees-sell.conf)
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/otakar-getAmount_properties.conf --rule getAssetAmountForBuyAsset_funcProperty_L...
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/otakar-getAmount_properties.conf --rule getAssetAmountForBuyAsset_funcProperty_L...
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/Dominik-gho-assetToGhoInvertibility.conf --rule basicProperty_getAssetAmountForB...
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/Dominik-gho-assetToGhoInvertibility.conf --rule basicProperty_getAssetAmountForB...
The process '/usr/bin/git' failed with exit code 128
verify (non-4626/balances-sell.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (non-4626/balances-sell.conf)
The process '/usr/bin/git' failed with exit code 128