From 6a56426f8f4887f649d06b83c0becbaa69bc6fe3 Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Tue, 2 Nov 2021 19:42:11 +0100 Subject: [PATCH] Use JSC version available in Ubuntu 20.04 in the CI builds Use the newer OS and JavaScript Core library versions for the CI build, we don't have to remain with the old version here, as the newer one works too. --- .github/workflows/ci.yml | 1 - Tools/CI-linux-install.sh | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3bfa687a2..d66a5f240 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -78,7 +78,6 @@ jobs: CPPSTD: c++14 - SWIGLANG: javascript ENGINE: jsc - os: ubuntu-18.04 # libwebkitgtk-dev dependency not available in 20.04. - SWIGLANG: javascript ENGINE: v8 os: ubuntu-18.04 # libv8-dev only actually provides v8 in 18.04. diff --git a/Tools/CI-linux-install.sh b/Tools/CI-linux-install.sh index 6edce572b..7bd141080 100644 --- a/Tools/CI-linux-install.sh +++ b/Tools/CI-linux-install.sh @@ -55,7 +55,7 @@ case "$SWIGLANG" in fi ;; "jsc") - $RETRY sudo apt-get install -qq libwebkitgtk-dev + $RETRY sudo apt-get install -qq libjavascriptcoregtk-4.0-dev ;; "v8") $RETRY sudo apt-get install -qq libv8-dev