Skip to content
Verify proofs

SampCert submodule and build #872

Sign in to view logs

SampCert submodule and build

SampCert submodule and build #872

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

verify.yml

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

Annotations

1 error
verify
Process completed with exit code 2.