Skip to content

Add module hierarchy Agda2Hs.Language.Haskell #197

Add module hierarchy Agda2Hs.Language.Haskell

Add module hierarchy Agda2Hs.Language.Haskell #197

Triggered via pull request May 26, 2025 13:31
Status Failure
Total duration 1m 40s
Artifacts

nix-ci.yml

on: pull_request
Test building inside a nix shell
1m 35s
Test building inside a nix shell
Matrix: nix-build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Compile agda2hs with nix (agda2hs)
Process completed with exit code 1.
Test building inside a nix shell
Process completed with exit code 1.