agdaPackages.iowa-stdlib: don't try to build on Hydra

It's marked as broken which always creates a lot of clutter in hydra
evaluation error pages, so we'll just set hydraPlatforms = [] for now.
This commit is contained in:
sternenseemann 2021-07-15 12:37:11 +02:00
parent 7d20323b11
commit c64ddc2071

View file

@ -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 ];
};
})