Agda 2.6.4 #18

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request February 15, 2024 20:36

jkopanski

synchronize #9

jkopanski:agda-2.6.4

Status Failure

Total duration 8m 58s

Artifacts –

build.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.