certora

Certora Run Action #68

Triggered via pull request December 18, 2024 14:04

H00N24

synchronize #40

feat/certora-run-action

Status Failure

Total duration 1m 30s

Artifacts 1

certora.yml

on: pull_request

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
certora-run-logs-c415a1ce-43b8-4c24-928a-fe56a0c8d31f-12394578347	2.29 KB