Skip to content
certora

chore: add plasma and soneium (#57) #44

Sign in to view logs

chore: add plasma and soneium (#57)

chore: add plasma and soneium (#57) #44

Triggered via push September 25, 2025 23:05
@brotherlymitebrotherlymite
pushed e68bd9e
main
Status Failure
Total duration 2m 4s
Artifacts –

certora.yml

on: push
verify
2m 1s
verify
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
verify
Not Found
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.