Skip to content
certora-gho

Modular Gho Stewards #100

Sign in to view logs

Modular Gho Stewards

Modular Gho Stewards #100

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

certora-gho.yml

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

Annotations

30 errors and 45 warnings
verify (verifyGhoAToken.conf --rule noMint noBurn noTransfer transferUnderlyingToCantExceedCapaci...
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyGhoAToken.conf --rule noMint noBurn noTransfer transferUnderlyingToCantExceedCapaci...
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule user_index_after_mint user_index_ge_one_ray nonzer...
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyGhoVariableDebtToken.conf --rule user_index_after_mint user_index_ge_one_ray nonzer...
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken-rayMulDiv-summarization.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyGhoVariableDebtToken-rayMulDiv-summarization.conf)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken_summarized.conf --rule accrueAlwaysCalleldBeforeRefresh)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyGhoVariableDebtToken_summarized.conf --rule accrueAlwaysCalleldBeforeRefresh)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule discountCantExceed100Percent)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyGhoVariableDebtToken.conf --rule discountCantExceed100Percent)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule discountCantExceedDiscountRate)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyGhoVariableDebtToken.conf --rule discountCantExceedDiscountRate)
The process '/usr/bin/git' failed with exit code 128
verify (verifyFlashMinter.conf --rule balanceOfFlashMinterGrows integrityOfTreasurySet integrityO...
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyFlashMinter.conf --rule balanceOfFlashMinterGrows integrityOfTreasurySet integrityO...
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoToken.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyGhoToken.conf)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule accumulated_interest_increase_after_mint)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyGhoVariableDebtToken.conf --rule accumulated_interest_increase_after_mint)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule userCantNullifyItsDebt)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyGhoVariableDebtToken.conf --rule userCantNullifyItsDebt)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtTokenInternal.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyGhoVariableDebtTokenInternal.conf)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoDiscountRateStrategy.conf --rule equivalenceOfWadMulCVLAndWadMulSol maxDiscountF...
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyGhoDiscountRateStrategy.conf --rule equivalenceOfWadMulCVLAndWadMulSol maxDiscountF...
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule disallowedFunctionalities nonMintFunctionCantIncre...
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyGhoVariableDebtToken.conf --rule disallowedFunctionalities nonMintFunctionCantIncre...
The process '/usr/bin/git' failed with exit code 128
verify (verifyUpgradeableGhoToken.conf)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyUpgradeableGhoToken.conf)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule onlyMintForUserCanIncreaseUsersBalance)
No url found for submodule path 'lib/ccip' in .gitmodules
verify (verifyGhoVariableDebtToken.conf --rule onlyMintForUserCanIncreaseUsersBalance)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoAToken.conf --rule noMint noBurn noTransfer transferUnderlyingToCantExceedCapaci...
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyGhoAToken.conf --rule noMint noBurn noTransfer transferUnderlyingToCantExceedCapaci...
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoAToken.conf --rule noMint noBurn noTransfer transferUnderlyingToCantExceedCapaci...
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule user_index_after_mint user_index_ge_one_ray nonzer...
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyGhoVariableDebtToken.conf --rule user_index_after_mint user_index_ge_one_ray nonzer...
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoVariableDebtToken.conf --rule user_index_after_mint user_index_ge_one_ray nonzer...
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken-rayMulDiv-summarization.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyGhoVariableDebtToken-rayMulDiv-summarization.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoVariableDebtToken_summarized.conf --rule accrueAlwaysCalleldBeforeRefresh)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyGhoVariableDebtToken_summarized.conf --rule accrueAlwaysCalleldBeforeRefresh)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoVariableDebtToken-rayMulDiv-summarization.conf)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken_summarized.conf --rule accrueAlwaysCalleldBeforeRefresh)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule discountCantExceed100Percent)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyGhoVariableDebtToken.conf --rule discountCantExceed100Percent)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoVariableDebtToken.conf --rule discountCantExceed100Percent)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule discountCantExceedDiscountRate)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyGhoVariableDebtToken.conf --rule discountCantExceedDiscountRate)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoVariableDebtToken.conf --rule discountCantExceedDiscountRate)
The process '/usr/bin/git' failed with exit code 128
verify (verifyFlashMinter.conf --rule balanceOfFlashMinterGrows integrityOfTreasurySet integrityO...
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyFlashMinter.conf --rule balanceOfFlashMinterGrows integrityOfTreasurySet integrityO...
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoToken.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyGhoToken.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoToken.conf)
The process '/usr/bin/git' failed with exit code 128
verify (verifyFlashMinter.conf --rule balanceOfFlashMinterGrows integrityOfTreasurySet integrityO...
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule accumulated_interest_increase_after_mint)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyGhoVariableDebtToken.conf --rule accumulated_interest_increase_after_mint)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoVariableDebtToken.conf --rule accumulated_interest_increase_after_mint)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule userCantNullifyItsDebt)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyGhoVariableDebtToken.conf --rule userCantNullifyItsDebt)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoVariableDebtToken.conf --rule userCantNullifyItsDebt)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtTokenInternal.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyGhoVariableDebtTokenInternal.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoVariableDebtTokenInternal.conf)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoDiscountRateStrategy.conf --rule equivalenceOfWadMulCVLAndWadMulSol maxDiscountF...
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyGhoDiscountRateStrategy.conf --rule equivalenceOfWadMulCVLAndWadMulSol maxDiscountF...
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoDiscountRateStrategy.conf --rule equivalenceOfWadMulCVLAndWadMulSol maxDiscountF...
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule disallowedFunctionalities nonMintFunctionCantIncre...
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyGhoVariableDebtToken.conf --rule disallowedFunctionalities nonMintFunctionCantIncre...
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoVariableDebtToken.conf --rule disallowedFunctionalities nonMintFunctionCantIncre...
The process '/usr/bin/git' failed with exit code 128
verify (verifyUpgradeableGhoToken.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyUpgradeableGhoToken.conf)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyUpgradeableGhoToken.conf)
The process '/usr/bin/git' failed with exit code 128
verify (verifyGhoVariableDebtToken.conf --rule onlyMintForUserCanIncreaseUsersBalance)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (verifyGhoVariableDebtToken.conf --rule onlyMintForUserCanIncreaseUsersBalance)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (verifyGhoVariableDebtToken.conf --rule onlyMintForUserCanIncreaseUsersBalance)
The process '/usr/bin/git' failed with exit code 128