Verify proofs

SampCert submodule and build #874

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via pull request April 24, 2024 14:04

jtristan

synchronize #172

AutoLean

Status Failure

Total duration 20s

Artifacts –

verify.yml

on: pull_request

Annotations

1 error

Process completed with exit code 2.