Skip to content

Commit

Permalink
Also set the branch of boost to clone to match our base branch.
Browse files Browse the repository at this point in the history
  • Loading branch information
grafikrobot committed Mar 25, 2024
1 parent 2e60004 commit 0e680dd
Showing 1 changed file with 5 additions and 4 deletions.
9 changes: 5 additions & 4 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,14 +7,13 @@

name: CI
on:
pull_request:
push:
branches:
- master
- develop
- feature/**
- modular
pull_request:
release:
types: [published, created, edited]
jobs:
ubuntu-jammy:
strategy:
Expand All @@ -41,8 +40,10 @@ jobs:
- name: Checkout main boost
run: |
BOOST_GIT=https://github.com/${GITHUB_REPOSITORY/bcp/boost}.git
BOOST_BRANCH=develop && ( test "${GITHUB_REF_NAME}" == "master" || test "${GITHUB_REF_NAME}" == "modular" ) && BOOST_BRANCH=${GITHUB_REF_NAME} || true
echo "BOOST_GIT: ${BOOST_GIT}"
git clone -b develop --depth 1 "${BOOST_GIT}" ../boost-root
echo "BRANCH/TAG: ${BOOST_BRANCH}"
git clone -b "${BOOST_BRANCH}" --depth 1 "${BOOST_GIT}" '../boost-root'
- name: Update tools/boostdep
run: git submodule update --init
working-directory: ../boost-root
Expand Down

0 comments on commit 0e680dd

Please sign in to comment.