Skip to content
certora

feat: new deployment #36

Sign in to view logs

feat: new deployment

feat: new deployment #36

Triggered via pull request August 8, 2023 21:31
@sakulstrasakulstra
opened #44
bgd-labs:feat/new-deployment
Status Failure
Total duration 2m 0s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

certora.yml

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

Annotations

18 errors and 18 warnings
verify (allProps.conf --rule returnFundsDecreaseExchangeRate)
Process completed with exit code 1.
verify (token-v3-general.conf --rule sumOfVBalancesCorrectness)
Process completed with exit code 1.
verify (allProps.conf --rule integrityOfSlashing --rule integrityOfStaking --rule previewStakeEqu...
Process completed with exit code 1.
verify (allProps.conf --rule exchangeRateNeverZero)
Process completed with exit code 1.
verify (allProps.conf --rule indexesMonotonicallyIncrease)
Process completed with exit code 1.
verify (token-v3-general.conf --rule transferDoesntChangeDelegationMode)
Process completed with exit code 1.
verify (propertiesWithSummarization.conf)
Process completed with exit code 1.
verify (token-v3-general.conf --rule sumOfPBalancesCorrectness)
Process completed with exit code 1.
verify (allProps.conf --rule rewardsIncreaseForNonClaimFunctions)
Process completed with exit code 1.
verify (invariants.conf)
Process completed with exit code 1.
verify (allProps.conf --rule totalSupplyDoesNotDropToZero)
Process completed with exit code 1.
verify (token-v3-erc20.conf)
Process completed with exit code 1.
verify (token-v3-general.conf --rule delegateCorrectness)
Process completed with exit code 1.
verify (allProps.conf --rule rewardsGetterEquivalentClaim)
Process completed with exit code 1.
verify (allProps.conf --rule rewardsMonotonicallyIncrease)
Process completed with exit code 1.
verify (allProps.conf --rule slashingIncreaseExchangeRate)
Process completed with exit code 1.
verify (token-v3-delegate.conf)
Process completed with exit code 1.
verify (token-v3-community.conf)
Process completed with exit code 1.
verify (allProps.conf --rule returnFundsDecreaseExchangeRate)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (token-v3-general.conf --rule sumOfVBalancesCorrectness)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (allProps.conf --rule integrityOfSlashing --rule integrityOfStaking --rule previewStakeEqu...
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (allProps.conf --rule exchangeRateNeverZero)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (allProps.conf --rule indexesMonotonicallyIncrease)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (token-v3-general.conf --rule transferDoesntChangeDelegationMode)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (propertiesWithSummarization.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (token-v3-general.conf --rule sumOfPBalancesCorrectness)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (allProps.conf --rule rewardsIncreaseForNonClaimFunctions)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (invariants.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (allProps.conf --rule totalSupplyDoesNotDropToZero)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (token-v3-erc20.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (token-v3-general.conf --rule delegateCorrectness)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (allProps.conf --rule rewardsGetterEquivalentClaim)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (allProps.conf --rule rewardsMonotonicallyIncrease)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (allProps.conf --rule slashingIncreaseExchangeRate)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (token-v3-delegate.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (token-v3-community.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/