Skip to content
Verify proofs

SampCert submodule and build #878

Sign in to view logs

SampCert submodule and build

SampCert submodule and build #878

Triggered via pull request April 24, 2024 14:31
@jtristanjtristan
synchronize #172
AutoLean
Status Failure
Total duration 17s
Artifacts –

verify.yml

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

Annotations

1 error
verify
Process completed with exit code 2.