Skip to content
certora-stata

chore: bump solidity-utils (#147) #269

Sign in to view logs

chore: bump solidity-utils (#147)

chore: bump solidity-utils (#147) #269

Triggered via push November 6, 2025 16:59
@sakulstrasakulstra
pushed 1ce897b
main
Status Failure
Total duration 42s
Artifacts –

certora-stata.yml

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