Skip to content
Nix CI

re-enable nix ci tests #320

Sign in to view logs

re-enable nix ci tests

re-enable nix ci tests #320

Triggered via push November 29, 2025 15:54
@liesnikovliesnikov
pushed 0c88c57
master
Status Failure
Total duration 2m 32s
Artifacts –

nix-ci.yml

on: push
Test building inside a nix shell
2m 28s
Test building inside a nix shell
Matrix: nix-build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Typecheck with Agda with nix (base-lib)
Process completed with exit code 1.
Compile agda2hs with nix (agda2hs)
Process completed with exit code 1.
Typecheck with Agda with nix (containers-lib)
Process completed with exit code 1.