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 | |
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')
-rw-r--r-- | pkgs/development/libraries/agda/iowa-stdlib/default.nix | 2 | ||||
-rw-r--r-- | pkgs/top-level/release-haskell.nix | 3 |
2 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/development/libraries/agda/iowa-stdlib/default.nix b/pkgs/development/libraries/agda/iowa-stdlib/default.nix index 1383cff9e55a..ff92e6a0610b 100644 --- a/pkgs/development/libraries/agda/iowa-stdlib/default.nix +++ b/pkgs/development/libraries/agda/iowa-stdlib/default.nix @@ -26,6 +26,8 @@ mkDerivation (rec { platforms = lib.platforms.unix; # broken since Agda 2.6.1 broken = true; + # remove once unbroken + hydraPlatforms = lib.platforms.none; maintainers = with lib.maintainers; [ alexarice turion ]; }; }) 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. |