diff options
| author | Dennis Gosnell <cdep.illabout@gmail.com> | 2021-07-22 22:49:40 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-22 22:49:40 +0900 |
| commit | 9546f2332ee0d2ffafee712c714c586bf5a22276 (patch) | |
| tree | 420168c416c4d811f70bc58195281dce14a007e2 /pkgs/top-level | |
| parent | 10f72185930b44a3f1ec299a0c56586e6d69794a (diff) | |
| parent | c64ddc2071939288c03e6e10701b11d0198a7df6 (diff) | |
| download | nixpkgs-9546f2332ee0d2ffafee712c714c586bf5a22276.tar nixpkgs-9546f2332ee0d2ffafee712c714c586bf5a22276.tar.gz nixpkgs-9546f2332ee0d2ffafee712c714c586bf5a22276.tar.bz2 nixpkgs-9546f2332ee0d2ffafee712c714c586bf5a22276.tar.lz nixpkgs-9546f2332ee0d2ffafee712c714c586bf5a22276.tar.xz nixpkgs-9546f2332ee0d2ffafee712c714c586bf5a22276.tar.zst nixpkgs-9546f2332ee0d2ffafee712c714c586bf5a22276.zip | |
Merge pull request #130263 from sternenseemann/haskell-updates-agda
top-level/release-haskell.nix: add agda packages and test to jobset
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/release-haskell.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/top-level/release-haskell.nix b/pkgs/top-level/release-haskell.nix index fe5241e3634..1dc728b2da2 100644 --- a/pkgs/top-level/release-haskell.nix +++ b/pkgs/top-level/release-haskell.nix @@ -91,6 +91,9 @@ let tests.haskell = packagePlatforms pkgs.tests.haskell; + nixosTests.agda = (packagePlatforms pkgs.nixosTests).agda; + agdaPackages = packagePlatforms pkgs.agdaPackages; + pkgsMusl.haskell.compiler = packagePlatforms pkgs.pkgsMusl.haskell.compiler // { # remove musl ghc865Binary since it is known to be broken and # causes an evaluation error on darwin. |