diff options
author | Vincent Ambo <tazjin@google.com> | 2020-05-01T11·46+0100 |
---|---|---|
committer | Vincent Ambo <mail@tazj.in> | 2020-07-25T13·43+0100 |
commit | b4e0b55e5608ae2b394880e69912d9352fea2d9d (patch) | |
tree | 099758c2f4867ca70ba581db6f8a2d42be49a7d2 /tools/nixery/default.nix | |
parent | bdda24a77287e09cb855eee7019148ee8bbd1cd9 (diff) |
chore(build): Change pin for default nixpkgs used to build Nixery
This moves the pin from just being in the Travis configuration to also being set in a nixpkgs-pin.nix file, which makes it trivial to build at the right commit when performing local builds.
Diffstat (limited to 'tools/nixery/default.nix')
-rw-r--r-- | tools/nixery/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/nixery/default.nix b/tools/nixery/default.nix index 7454c14a8567..411865a8a40b 100644 --- a/tools/nixery/default.nix +++ b/tools/nixery/default.nix @@ -12,7 +12,7 @@ # See the License for the specific language governing permissions and # limitations under the License. -{ pkgs ? import <nixpkgs> { } +{ pkgs ? import ./nixpkgs-pin.nix , preLaunch ? "" , extraPackages ? [] , maxLayers ? 20 }: |