Skip to content
certora-basic

feat: logo files (#20) #2

Sign in to view logs

feat: logo files (#20)

feat: logo files (#20) #2

Triggered via pull request July 3, 2025 14:28
@yan-manyan-man
opened #21
docs/audit-and-logo
Status Failure
Total duration 41s
Artifacts –

certora-basic.yml

on: pull_request
verify
36s
verify
Fit to window
Zoom out
Zoom in

Annotations

1 error
verify
Process completed with exit code 2.