Skip to content
Nix CI

Convert test infrastructure to tasty-golden based testsuite #308

Sign in to view logs

Convert test infrastructure to tasty-golden based testsuite

Convert test infrastructure to tasty-golden based testsuite #308

Re-run triggered November 28, 2025 16:42
@andreasabelandreasabel
#450
copilot/improve-agda2hs-test-infrastructure
Status Failure
Total duration 4m 39s
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

3 errors
Compile agda2hs with nix (agda2hs)
Process completed with exit code 1.
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.