Skip to content
Certora

Change config #2

Sign in to view logs

Change config

Change config #2

Triggered via push December 2, 2024 10:22
@sunbreak1211sunbreak1211
pushed 6bb11f9
dev
Status Failure
Total duration 2h 30m 57s
Artifacts –

certora.yml

on: push
Certora
2h 30m
Certora
Fit to window
Zoom out
Zoom in

Annotations

1 error
Certora
Process completed with exit code 2.