Merge #177391: metrics job: schedule on a dedicated machine again

This commit is contained in:
Vladimír Čunát 2022-06-12 13:47:36 +02:00
commit 72b1ec0a79
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

View File

@ -4,8 +4,7 @@ with pkgs;
runCommand "nixpkgs-metrics"
{ nativeBuildInputs = with pkgs.lib; map getBin [ nix time jq ];
# see https://github.com/NixOS/nixpkgs/issues/52436
#requiredSystemFeatures = [ "benchmark" ]; # dedicated `t2a` machine, by @vcunat
requiredSystemFeatures = [ "benchmark" ]; # dedicated `t2a` machine, by @vcunat
}
''
export NIX_STORE_DIR=$TMPDIR/store