Use bash on Windows

This commit is contained in:
Peter Dimov
2020-11-20 01:37:03 +02:00
parent fbdd5149c9
commit 2affc65749

View File

@@ -8,7 +8,7 @@ env:
UBSAN_OPTIONS: print_stacktrace=1 UBSAN_OPTIONS: print_stacktrace=1
jobs: jobs:
linux: CI:
strategy: strategy:
fail-fast: false fail-fast: false
matrix: matrix:
@@ -18,7 +18,7 @@ jobs:
os: ubuntu-16.04 os: ubuntu-16.04
- toolset: gcc-6 - toolset: gcc-6
cxxstd: "03,11,14,1z" cxxstd: "03,11,14,1z"
os: ubuntu-18.04 os: ubuntu-16.04
- toolset: gcc-7 - toolset: gcc-7
cxxstd: "03,11,14,17" cxxstd: "03,11,14,17"
os: ubuntu-18.04 os: ubuntu-18.04
@@ -50,6 +50,7 @@ jobs:
- uses: actions/checkout@v2 - uses: actions/checkout@v2
- name: Setup - name: Setup
shell: bash
run: | run: |
REF=${GITHUB_BASE_REF:-$GITHUB_REF} REF=${GITHUB_BASE_REF:-$GITHUB_REF}
BOOST_BRANCH=develop && [ "$REF" == "master" ] && BOOST_BRANCH=master || true BOOST_BRANCH=develop && [ "$REF" == "master" ] && BOOST_BRANCH=master || true