Skip to content
checkrules

Cantina 483: Redundant calls to getAddressPrefixInternal() #6

Sign in to view logs

Cantina 483: Redundant calls to getAddressPrefixInternal()

Cantina 483: Redundant calls to getAddressPrefixInternal() #6

Triggered via pull request July 2, 2024 22:05
@kasperpawlowskikasperpawlowski
opened #6
cantina-483
Status Failure
Total duration 53s
Billable time 1m
Artifacts –

checkrules.yml

on: pull_request
Run Certora prover on all configs
44s
Run Certora prover on all configs
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Run Certora prover on all configs
Process completed with exit code 1.
Run Certora prover on all configs
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.