Verify proofs

Fisher-Yates: Equivalence proof #678

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via pull request February 1, 2024 15:54

stefan-aws

synchronize #142

equivalence

Status Failure

Total duration 1m 27s

Artifacts –

verify.yml

on: pull_request

Annotations

1 error

Process completed with exit code 4.