idrisPackages: build with hydra

This commit is contained in:
Silvan Mosberger 2018-07-13 01:07:32 +02:00
parent d767c0c253
commit cb12f601d7
No known key found for this signature in database
GPG key ID: 9424360B4B85C9E7

View file

@ -166,6 +166,7 @@ let
} // (mapTestOn ((packagePlatforms pkgs) // rec {
haskell.compiler = packagePlatforms pkgs.haskell.compiler;
haskellPackages = packagePlatforms pkgs.haskellPackages;
idrisPackages = packagePlatforms pkgs.idrisPackages;
# Language packages disabled in https://github.com/NixOS/nixpkgs/commit/ccd1029f58a3bb9eca32d81bf3f33cb4be25cc66