From 0bc02d652c6a68003653772afe332dc6e88bf3cd Mon Sep 17 00:00:00 2001 From: Victor Martinez Date: Fri, 12 Jun 2020 16:39:21 +0100 Subject: [PATCH] [CI] fail if not possible to install python3 --- .ci/scripts/install-tools.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/scripts/install-tools.bat b/.ci/scripts/install-tools.bat index 54bcaf5e8a44..d5d48b1dcd0d 100644 --- a/.ci/scripts/install-tools.bat +++ b/.ci/scripts/install-tools.bat @@ -20,7 +20,7 @@ where mage if not exist C:\Python38\python.exe ( REM Install python 3.8. - choco install python -y -r --no-progress --version 3.8.2 + choco install python -y -r --no-progress --version 3.8.2 || echo ERROR && exit /b ) python --version where python