Skip to content
certora-stata

chore: bump solidity-utils (#141) #259

Sign in to view logs

chore: bump solidity-utils (#141)

chore: bump solidity-utils (#141) #259

Triggered via push September 16, 2025 13:21
@brotherlymitebrotherlymite
pushed 94bb4d5
main
Status Failure
Total duration 35s
Artifacts –

certora-stata.yml

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