Skip to content

chore(deps): bump secp256k1 from 4.0.3 to 4.0.4 #596

chore(deps): bump secp256k1 from 4.0.3 to 4.0.4

chore(deps): bump secp256k1 from 4.0.3 to 4.0.4 #596

Triggered via pull request October 24, 2024 09:15
Status Failure
Total duration 30s
Artifacts

certora.yml

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

Annotations

12 errors
verify (Transfer)
Process completed with exit code 1.
verify (ExactMath)
Process completed with exit code 1.
verify (AssetsAccounting)
Process completed with exit code 1.
verify (ConsistentState)
Process completed with exit code 1.
verify (AccrueInterest)
Process completed with exit code 1.
verify (StayHealthy)
Process completed with exit code 1.
verify (Liveness)
Process completed with exit code 1.
verify (Reentrancy)
Process completed with exit code 1.
verify (Reverts)
Process completed with exit code 1.
verify (LibSummary)
Process completed with exit code 1.
verify (ExchangeRate)
Process completed with exit code 1.
verify (Health)
Process completed with exit code 1.