Skip to content

Getsafe

Getsafe #11

Triggered via pull request August 18, 2024 08:25
@dodger213dodger213
synchronize #6
getsafe
Status Failure
Total duration 7m 47s
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 (signatures)
The job was canceled because "nativeTokenRefund" failed.
verify (safe)
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/