From bb0e707b6a9b904509f67a2632806f287d93d3f5 Mon Sep 17 00:00:00 2001 From: emeric Date: Wed, 25 May 2022 21:46:50 +0200 Subject: [PATCH] Updated lgtm file --- .lgtm.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.lgtm.yml b/.lgtm.yml index 295120c5..b23ea4f9 100644 --- a/.lgtm.yml +++ b/.lgtm.yml @@ -17,7 +17,7 @@ extraction: - libtag1-dev - libpam0g-dev after_prepare: - - export WT_VERSION=4.5.0 + - export WT_VERSION=4.7.2 - export WT_INSTALL_PREFIX=${LGTM_WORKSPACE}/wt-${WT_VERSION} - pushd ${LGTM_WORKSPACE} - git clone https://github.com/emweb/wt.git ${LGTM_WORKSPACE}/wt