Skip to content
Typecheck with agda

clarification in the nix build #5

Sign in to view logs

clarification in the nix build

clarification in the nix build #5

Triggered via push January 16, 2024 10:45
@liesnikovliesnikov
pushed 3804bfe
main
Status Failure
Total duration 1m 11s
Artifacts –

typecheck.yml

on: push
build
1m 2s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.