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 | nixlib-9546f2332ee0d2ffafee712c714c586bf5a22276.tar nixlib-9546f2332ee0d2ffafee712c714c586bf5a22276.tar.gz nixlib-9546f2332ee0d2ffafee712c714c586bf5a22276.tar.bz2 nixlib-9546f2332ee0d2ffafee712c714c586bf5a22276.tar.lz nixlib-9546f2332ee0d2ffafee712c714c586bf5a22276.tar.xz nixlib-9546f2332ee0d2ffafee712c714c586bf5a22276.tar.zst nixlib-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 fe5241e3634e..1dc728b2da28 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. |