certora

Certora Run Action #67

Triggered via pull request December 18, 2024 13:57

H00N24

synchronize #40

feat/certora-run-action

Status Failure

Total duration 30s

Artifacts 1

certora.yml

on: pull_request

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
certora-run-logs-20566d1a-970a-4aea-b9bb-d10a004fae6a-12394455508	1.53 KB