Convert test infrastructure to tasty-golden based testsuite #311
andreasabelnix-ci.yml
on: pull_request
Test building inside a nix shell
2m 41s
Matrix: nix-build
Annotations
3 errors
|
Typecheck with Agda with nix (base-lib)
Process completed with exit code 1.
|
|
Typecheck with Agda with nix (containers-lib)
Process completed with exit code 1.
|
|
Compile agda2hs with nix (agda2hs)
Process completed with exit code 1.
|