Skip to content

fix: update readme with current networks #1

fix: update readme with current networks

fix: update readme with current networks #1

Triggered via pull request August 18, 2025 13:02
Status Failure
Total duration 45s
Artifacts 1

certora-review.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors
verify
Process completed with exit code 1.
Certora GitHub Application Integration Missing
Error 403: Failed to get GitHub installation - Please install the Certora GitHub App (https://github.com/apps/certora-run) and follow the guide from Certora GitHub Action (https://github.com/Certora/certora-run-action).

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-d1f1acac-d19e-4a95-abbc-54aa59e1768a-17041391094 Expired
6.08 KB
sha256:3aa6664c3212dfab1e9ede275b179bae0ffaf839fdc2e51aaa2897e79a8bc395