Filip/playwright
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

devops: add WebKit debian 11 build configuration (#15652)

Browse source
This commit is contained in:
Andrey Lushnikov 2022-07-14 05:19:27 -07:00 committed by GitHub
parent 2b8198f1e3
commit c39df3695a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
browser_patches/checkout_build_archive_upload.sh
View file

@ -318,6 +318,12 @@ elif [[ "$BUILD_FLAVOR" == "firefox-beta-win64" ]]; then
# ===========================
# WEBKIT COMPILATION
# ===========================
elif [[ "$BUILD_FLAVOR" == "webkit-debian-11" ]]; then
BROWSER_NAME="webkit"
EXTRA_BUILD_ARGS="--full"
EXPECTED_HOST_OS="Debian"
EXPECTED_HOST_OS_VERSION="11"
BUILD_BLOB_NAME="webkit-debian-11.zip"
elif [[ "$BUILD_FLAVOR" == "webkit-universal" ]]; then
BROWSER_NAME="webkit"
EXTRA_BUILD_ARGS="--full --universal"

1
browser_patches/webkit/EXPECTED_BUILDS
View file

@ -4,6 +4,7 @@ webkit-ubuntu-20.04.zip
webkit-ubuntu-20.04-arm64.zip
webkit-ubuntu-22.04.zip
webkit-ubuntu-22.04-arm64.zip
webkit-debian-11.zip
webkit-mac-11.zip
webkit-mac-11-arm64.zip
webkit-mac-12.zip