Skip to content
checkrules

Cantina 516: An attacker can exploit the EVC account system to steal Euler vault tokens from users #12

Sign in to view logs

Cantina 516: An attacker can exploit the EVC account system to steal Euler vault tokens from users

Cantina 516: An attacker can exploit the EVC account system to steal Euler vault tokens from users #12

Triggered via pull request July 15, 2024 08:40
@kasperpawlowskikasperpawlowski
synchronize #7
cantina-516
Status Failure
Total duration 57s
Artifacts –

checkrules.yml

on: pull_request
Run Certora prover on all configs
46s
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/