Skip to content
checkrules

Add onlyEVCAccount modifier and _msgSenderOnlyEVCAccount, _msgSenderOnlyEVCAccountOwner functions #265

Sign in to view logs

Add onlyEVCAccount modifier and _msgSenderOnlyEVCAccount, _msgSenderOnlyEVCAccountOwner functions

Add onlyEVCAccount modifier and _msgSenderOnlyEVCAccount, _msgSenderOnlyEVCAccountOwner functions #265

Triggered via pull request October 3, 2024 13:04
@kasperpawlowskikasperpawlowski
synchronize #175
only-owner-or-subaccount
Status Cancelled
Total duration 25s
Artifacts –

checkrules.yml

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

Annotations

2 errors
Run Certora prover on all configs
Canceling since a higher priority waiting request for 'checkrules-refs/pull/175/merge' exists
Run Certora prover on all configs
The operation was canceled.