Skip to content
Nix CI

Convert test infrastructure to tasty-golden based testsuite #310

Sign in to view logs

Convert test infrastructure to tasty-golden based testsuite

Convert test infrastructure to tasty-golden based testsuite #310

Re-run triggered November 28, 2025 20:16
@andreasabelandreasabel
#450
copilot/improve-agda2hs-test-infrastructure
Status Failure
Total duration 1m 55s
Artifacts –

nix-ci.yml

on: pull_request
Test building inside a nix shell
1m 49s
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 (containers-lib)
Process completed with exit code 1.
Typecheck with Agda with nix (base-lib)
Process completed with exit code 1.