Build agda-core

add inferSort #69

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push January 22, 2024 13:23

liesnikov

typechecker

Status Failure

Total duration 1m 26s

Artifacts –

agda-core-build.yml

on: push

Annotations

1 error

Process completed with exit code 1.