Skip to content
certora

Fix emit event in safe l2 exec transaction from module return data #1

Sign in to view logs

Fix emit event in safe l2 exec transaction from module return data

Fix emit event in safe l2 exec transaction from module return data #1

Triggered via pull request August 18, 2024 08:18
@dodger213dodger213
synchronize #1
fix-emit-event-in-SafeL2-execTransactionFromModuleReturnData
Status Failure
Total duration 2m 19s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 1 warning
verify (nativeTokenRefund)
Process completed with exit code 1.
verify (safe)
The job was canceled because "nativeTokenRefund" failed.
verify (signatures)
The job was canceled because "nativeTokenRefund" failed.
verify (owner)
The job was canceled because "nativeTokenRefund" failed.
verify (module)
The job was canceled because "nativeTokenRefund" failed.
verify (module)
The operation was canceled.
verify (nativeTokenRefund)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/