WIP: Add GH Application #122

Triggered via pull request January 8, 2025 12:27

H00N24

opened #31

feat/certora-gh-app

Status Failure

Total duration 1m 40s

Artifacts 1

certora-review-execution-chain.yml

on: pull_request

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
certora-run-logs-ca4239ac-8d34-4184-a204-17e5163ac87b-12670542108	24.7 KB