Skip to content
certora-gho

Certora #7

Sign in to view logs

Certora

Certora #7

Triggered via pull request January 25, 2024 11:38
@MichaelMoramiMichaelMorami
synchronize #11
certora
Status Cancelled
Total duration 25s
Artifacts –

certora-gho.yml

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

Annotations

14 errors and 28 warnings
verify (verifyGhoToken.conf --rule length_leq_max_uint160 inv_balanceOf_leq_totalSupply total_sup...
The operation was canceled.
verify (verifyGhoVariableDebtToken_summarized.conf --rule accrueAlwaysCalleldBeforeRefresh)
The operation was canceled.
verify (verifyGhoVariableDebtToken.conf --rule user_index_after_mint user_index_ge_one_ray nonzer...
The operation was canceled.
verify (verifyGhoVariableDebtToken-rayMulDiv-summarization.conf)
The operation was canceled.
verify (verifyGhoVariableDebtToken.conf --rule discountCantExceedDiscountRate)
The operation was canceled.
verify (verifyFlashMinter.conf --rule balanceOfFlashMinterGrows integrityOfTreasurySet integrityO...
The operation was canceled.
verify (verifyGhoVariableDebtToken.conf --rule accumulated_interest_increase_after_mint)
The operation was canceled.
verify (verifyGhoAToken.conf --rule noMint noBurn noTransfer transferUnderlyingToCantExceedCapaci...
The operation was canceled.
verify (verifyGhoVariableDebtToken.conf --rule onlyMintForUserCanIncreaseUsersBalance)
The operation was canceled.
verify (verifyGhoVariableDebtToken.conf --rule discountCantExceed100Percent)
The operation was canceled.
verify (verifyGhoVariableDebtToken.conf --rule userCantNullifyItsDebt)
The operation was canceled.
verify (verifyGhoDiscountRateStrategy.conf --rule equivalenceOfWadMulCVLAndWadMulSol maxDiscountF...
The operation was canceled.
verify (verifyGhoVariableDebtTokenInternal.conf)
The operation was canceled.
verify (verifyGhoVariableDebtToken.conf --rule disallowedFunctionalities nonMintFunctionCantIncre...
The operation was canceled.
verify (verifyGhoToken.conf --rule length_leq_max_uint160 inv_balanceOf_leq_totalSupply total_sup...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (verifyGhoToken.conf --rule length_leq_max_uint160 inv_balanceOf_leq_totalSupply total_sup...
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)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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.conf --rule user_index_after_mint user_index_ge_one_ray nonzer...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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-rayMulDiv-summarization.conf)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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.conf --rule discountCantExceedDiscountRate)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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 (verifyFlashMinter.conf --rule balanceOfFlashMinterGrows integrityOfTreasurySet integrityO...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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 (verifyGhoVariableDebtToken.conf --rule accumulated_interest_increase_after_mint)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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 (verifyGhoAToken.conf --rule noMint noBurn noTransfer transferUnderlyingToCantExceedCapaci...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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 (verifyGhoVariableDebtToken.conf --rule onlyMintForUserCanIncreaseUsersBalance)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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 discountCantExceed100Percent)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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 userCantNullifyItsDebt)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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 (verifyGhoDiscountRateStrategy.conf --rule equivalenceOfWadMulCVLAndWadMulSol maxDiscountF...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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 (verifyGhoVariableDebtTokenInternal.conf)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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 (verifyGhoVariableDebtToken.conf --rule disallowedFunctionalities nonMintFunctionCantIncre...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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/