0
0
mirror of https://github.com/phpv8/v8js.git synced 2024-12-22 08:11:52 +00:00

Install google depot tools with an action

This commit is contained in:
Joshua Behrens 2024-09-28 02:42:08 +02:00
parent aef80cd1c1
commit 128495208a
No known key found for this signature in database
GPG Key ID: DD28BD85EE8F67DD

View File

@ -37,14 +37,14 @@ jobs:
php-version: ${{ matrix.php-versions }} php-version: ${{ matrix.php-versions }}
coverage: none coverage: none
- name: Setup Google depot tools
uses: newkdev/setup-depot-tools@v1.0.1
- name: Build v8 ${{ matrix.v8-versions }} - name: Build v8 ${{ matrix.v8-versions }}
run: | run: |
# Store extra tools somewhere undisturbing # Store extra tools somewhere undisturbing
cd "$(mktemp -d)" cd "$(mktemp -d)"
git clone https://chromium.googlesource.com/chromium/tools/depot_tools.git
export PATH=`pwd`/depot_tools:"$PATH"
fetch v8 fetch v8
cd v8 cd v8