cedille: set no hydra platforms

This commit is contained in:
(cdep)illabout 2021-07-17 11:17:09 +09:00
parent ff0c051daf
commit 299082636c
No known key found for this signature in database
GPG key ID: 462E0C03D11422F4

View file

@ -56,5 +56,6 @@ stdenv.mkDerivation rec {
# Broken due to Agda update. See
# https://github.com/NixOS/nixpkgs/pull/129606#issuecomment-881107449.
broken = true;
hydraPlatforms = platforms.none;
};
}