Run checks

feat: add support for Coq #2

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via push December 22, 2024 17:10

definfo

main

Status Failure

Total duration 12s

Artifacts –

check.yml

on: push

Annotations

1 error

Non-zero exit code of `1`.