Skip to content
checkrules

Cantina 196: Malicious controllers make EVC compatible tokens intrinsically susceptible to reentrancy #11

Sign in to view logs

Cantina 196: Malicious controllers make EVC compatible tokens intrinsically susceptible to reentrancy

Cantina 196: Malicious controllers make EVC compatible tokens intrinsically susceptible to reentrancy #11

Triggered via pull request July 8, 2024 13:43
@kasperpawlowskikasperpawlowski
synchronize #9
cantina-196
Status Failure
Total duration 1m 5s
Billable time 1m
Artifacts –

checkrules.yml

on: pull_request
Run Certora prover on all configs
54s
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
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/