Skip to content

chore: add Dependency Review GitHub Action #89

chore: add Dependency Review GitHub Action

chore: add Dependency Review GitHub Action #89

Triggered via pull request September 17, 2025 12:02
Status Failure
Total duration 30s
Artifacts

certora-stata.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
verify
Process completed with exit code 2.
verify
Process completed with exit code 1.
verify
No files were found with the provided path: /tmp/certora-logs/*. No artifacts will be uploaded.