Use GITHUB_BASE_REF on Windows as well

This commit is contained in:
Peter Dimov
2020-11-20 02:39:03 +02:00
parent 063d55c558
commit b778f7a5c0

View File

@@ -84,8 +84,9 @@ jobs:
if: "startsWith( matrix.os, 'windows-' )"
shell: cmd
run: |
if "%GITHUB_BASE_REF%" == "" set GITHUB_BASE_REF=%GITHUB_REF%
set BOOST_BRANCH=develop
if "%GITHUB_REF%" == "master" set BOOST_BRANCH=master
if "%GITHUB_BASE_REF%" == "master" set BOOST_BRANCH=master
cd ..
git clone -b %BOOST_BRANCH% --depth 1 https://github.com/boostorg/boost.git boost-root
cd boost-root