Skip to content
Nix CI

Add containers-lib to nix flake packages #194

Sign in to view logs

Add containers-lib to nix flake packages

Add containers-lib to nix flake packages #194

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Typecheck with Agda with nix (containers-lib)
1m 40s
Typecheck with Agda with nix (base-lib)
1m 36s
Test building inside a nix shell
2m 31s
Compile agda2hs with nix (agda2hs)
1m 32s
7m 19s