Build agda-core

update agda-core.nix #10

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push January 17, 2024 16:00

liesnikov

backend

Status Failure

Total duration 1m 18s

Artifacts –

agda-core-build.yml

on: push

Annotations

1 error

Process completed with exit code 1.