From 2affc65749cfcfd4195de1a26617fb0434dadad8 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Fri, 20 Nov 2020 01:37:03 +0200
Subject: [PATCH] Use bash on Windows

---
 .github/workflows/ci.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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