Run checks

add: OCaml and Coq entries #1

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via push December 22, 2024 17:04

definfo

main

Status Failure

Total duration 14s

Artifacts –

check.yml

on: push

Annotations

1 error

Non-zero exit code of `1`.