Skip to content
checkrules

Add onlyEVCAccount modifier and _msgSenderOnlyEVCAccount, _msgSenderOnlyEVCAccountOwner functions #276

Sign in to view logs

Add onlyEVCAccount modifier and _msgSenderOnlyEVCAccount, _msgSenderOnlyEVCAccountOwner functions

Add onlyEVCAccount modifier and _msgSenderOnlyEVCAccount, _msgSenderOnlyEVCAccountOwner functions #276

Triggered via pull request October 16, 2024 08:28
@kasperpawlowskikasperpawlowski
synchronize #175
only-owner-or-subaccount
Status Cancelled
Total duration 1m 15s
Artifacts –

checkrules.yml

on: pull_request
Run Certora prover on all configs
1m 5s
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.