Skip to content
Build agda-core

fully apply constructor by manual eta-expansion #8

Sign in to view logs

fully apply constructor by manual eta-expansion

fully apply constructor by manual eta-expansion #8

Triggered via push January 17, 2024 15:52
@flupeflupe
pushed 07b2479
backend
Status Failure
Total duration 59s
Artifacts –

agda-core-build.yml

on: push
build
52s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.