Compute BOOST_BRANCH

This commit is contained in:
Peter Dimov
2020-11-20 01:14:31 +02:00
parent 694c3cd643
commit 43dd83b860

View File

@@ -34,8 +34,10 @@ jobs:
- name: Setup
run: |
REF=${GITHUB_BASE_REF:-$GITHUB_REF}
BOOST_BRANCH=develop && [ "$REF" == "master" ] && BOOST_BRANCH=master || true
cd ..
git clone -b ${GITHUB_BASE_REF:-$GITHUB_REF} --depth 1 https://github.com/boostorg/boost.git boost-root
git clone -b $BOOST_BRANCH --depth 1 https://github.com/boostorg/boost.git boost-root
cd boost-root
cp -r $GITHUB_WORKSPACE/* libs/assert
git submodule update --init tools/boostdep