Coq Verification

added top file #13

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via push February 17, 2025 21:06

afflom

main

Status Failure

Total duration 7m 31s

Artifacts –

coq.yml

on: push

Annotations

1 error

Process completed with exit code 123.