Home Original page

deps: V8: cherry-pick 8e10685ff918 by gengjiawen · Pull Request #47440 · nodejs/node

@gengjiawen

@nodejs-github-bot added build

Issues and PRs related to build files or the CI.

needs-ci

PRs that need a full CI run.

v8 engine

Issues and PRs related to the V8 dependency.

labels

Apr 6, 2023

@gengjiawen gengjiawen added request-ci

Add this label to start a Jenkins CI on a PR.

and removed build

Issues and PRs related to build files or the CI.

v8 engine

Issues and PRs related to the V8 dependency.

needs-ci

PRs that need a full CI run.

labels

Apr 6, 2023

@gengjiawen gengjiawen added v8 engine

Issues and PRs related to the V8 dependency.

build

Issues and PRs related to build files or the CI.

needs-ci

PRs that need a full CI run.

labels

Apr 6, 2023

@targos targos added the author ready

PRs that have at least one approval, no pending requests for changes, and a CI started.

label

Apr 8, 2023

richardlau

targos pushed a commit that referenced this pull request

May 2, 2023 
Original commit message:

    [build]: fix wrong name

    Change-Id: I504e836da1e36d7b9e504dbdbff8803363f08ccd
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/4392064
    Reviewed-by: Tobias Tebbi <tebbi@chromium.org>
    Commit-Queue: Tobias Tebbi <tebbi@chromium.org>
    Cr-Commit-Position: refs/heads/main@{#86919}

Refs: v8/v8@8e10685
PR-URL: #47440
Reviewed-By: Michaël Zasso <targos@protonmail.com>
Reviewed-By: Richard Lau <rlau@redhat.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>