From 7068def4d091e7f29457a7bc489e393c7b720255 Mon Sep 17 00:00:00 2001 From: Roman Nikitenko Date: Mon, 29 Mar 2021 12:40:38 +0300 Subject: [PATCH] Pin theia commit for testing Signed-off-by: Roman Nikitenko --- build.include | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.include b/build.include index bd615b439b..de22a93993 100644 --- a/build.include +++ b/build.include @@ -14,7 +14,7 @@ IMAGE_TAG="next" THEIA_GITHUB_REPO="eclipse-theia/theia" THEIA_VERSION="master" THEIA_BRANCH="master" -THEIA_COMMIT_SHA= +THEIA_COMMIT_SHA="d9c0fabb4e657e7d1879a8067d119598cc00fb43" THEIA_GIT_REFS="refs\\/heads\\/master" THEIA_DOCKER_IMAGE_VERSION=