Skip to content
certora

[L-02] Fix Misleading Comments in Contract Code #107

Sign in to view logs

[L-02] Fix Misleading Comments in Contract Code

[L-02] Fix Misleading Comments in Contract Code #107

Triggered via pull request January 26, 2024 14:42
@nlordellnlordell
opened #240
audit/l-02
Status Success
Total duration 10m 51s
Artifacts –

certora.yml

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

Annotations

3 warnings
verify (verifyTransactionExecutionMethods.sh)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4, actions/setup-java@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (verifyValidationData.sh)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4, actions/setup-java@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (verify4337Module.sh)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4, actions/setup-java@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.