Skip to content
CI

CI #243

Sign in to view logs

CI

CI #243

Triggered via pull request review January 2, 2025 11:32
@liav-certoraliav-certora
submitted ⁠ aca540d
Status Skipped
Total duration 3s
Artifacts –

CI.yml

on: pull_request_review
Regression
0s
Regression
Fit to window
Zoom out
Zoom in