Skip to content

Rename repository to safe-smart-account #432

Rename repository to safe-smart-account

Rename repository to safe-smart-account #432

Triggered via pull request January 19, 2024 14:04
Status Failure
Total duration 35s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

certora.yml

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

Annotations

7 errors
verify (verifyNativeTokenRefund.sh)
Process completed with exit code 1.
verify (verifyModules.sh)
Process completed with exit code 1.
verify (verifySafe.sh)
Process completed with exit code 1.
verify (verifyOwners.sh)
The job was canceled because "verifyNativeTokenRefund_s" failed.
verify (verifyOwners.sh)
Process completed with exit code 1.
verify (verifySignatures.sh)
The job was canceled because "verifyNativeTokenRefund_s" failed.
verify (verifySignatures.sh)
Process completed with exit code 1.