Coq Verification

missed variable in refactor #17

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via push February 17, 2025 22:07

afflom

main

Status Failure

Total duration 7m 10s

Artifacts –

coq.yml

on: push

Annotations

1 error

Process completed with exit code 123.