Skip to content
CI

Handle Not Found Proposal Gracfully #500

Sign in to view logs

Handle Not Found Proposal Gracfully

Handle Not Found Proposal Gracfully #500

Triggered via pull request February 18, 2025 17:43
@liav-certoraliav-certora
synchronize #86
liav/cert-8226-generate-report-graceful-fail
Status Success
Total duration 8m 46s
Artifacts –

CI.yml

on: pull_request
Regression
8m 35s
Regression
Fit to window
Zoom out
Zoom in