Skip to content
Check whether nix files are parseable

agdaPackages.generics: Init at 1.0.1 #71670

Sign in to view logs

agdaPackages.generics: Init at 1.0.1

agdaPackages.generics: Init at 1.0.1 #71670

Run time

Learn about OS pricing on GitHub Actions
Job Run time
tests
19s
19s