Skip to content
certora-solvency

fix: allow workflow dispatch #30

Sign in to view logs

fix: allow workflow dispatch

fix: allow workflow dispatch #30

Triggered via push October 23, 2025 12:46
@sakulstrasakulstra
pushed f53f03c
main
Status Failure
Total duration 45s
Artifacts –

certora-solvency.yml

on: push
verify
34s
verify
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.