Skip to content
checkrules

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

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 #7

Triggered via pull request July 4, 2024 15:34
@kasperpawlowskikasperpawlowski
opened #7
cantina-516
Status Failure
Total duration 1m 5s
Billable time 1m
Artifacts –

checkrules.yml

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