certora

Certora Run Action #69

Re-run triggered December 18, 2024 18:15

H00N24

#40

feat/certora-run-action

Status Failure

Total duration 43s

Artifacts 2

certora.yml

on: pull_request

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
certora-run-logs-ef24aead-71c3-45b4-85a1-64ae305c58db-12394855697	2.59 KB