Skip to content
Nix CI

(new) syntax for lambdabox types #8

Sign in to view logs

(new) syntax for lambdabox types

(new) syntax for lambdabox types #8

Triggered via push November 28, 2024 15:49
@casvdrestcasvdrest
pushed 839dea8
master
Status Failure
Total duration 1m 21s
Artifacts –

nix-ci.yml

on: push
Matrix: nix-build
Fit to window
Zoom out
Zoom in

Annotations

1 error
Compile agda2lambox with nix (agda2lambox)
Process completed with exit code 1.