Skip to content
CI

Formating prints according to CERT-7899 #166

Sign in to view logs

Formating prints according to CERT-7899

Formating prints according to CERT-7899 #166

Triggered via pull request January 1, 2025 16:18
@liav-certoraliav-certora
synchronize #61
liav/cert-7899-update-output-format
Status Failure
Total duration 1m 53s
Artifacts –

CI.yml

on: pull_request
Regression
1m 45s
Regression
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Regression
Process completed with exit code 1.
Regression
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636