message: add g++11 buildbot
diff: @@ -10,7 +10,7 @@ jobs:
  strategy:
  matrix:
  os: [ubuntu-20.04]
  - compiler: [g++-10, clang++-12]
  + compiler: [g++-10, g++-11, clang++-12]
  build_type: [Release, Debug]
  include:
  - os: macos-latest
  @@ -24,15 +24,15 @@ jobs:
  - name: Checkout code
  uses: actions/checkout@v2
  - - name: Install dependencies
  + - name: Install dependencies (Linux)
  if: runner.os == 'Linux'
  run: |
  wget -O- https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
  sudo add-apt-repository "deb http://apt.llvm.org/focal/ llvm-toolchain-focal-12 main"
  sudo apt-get update
  - sudo apt-get install z3 re2c ninja-build g++-10 clang-12
  + sudo apt-get install z3 re2c ninja-build clang-12
  - - name: Install dependencies
  + - name: Install dependencies (MacOS)
  if: runner.os == 'macOS'
  run: |
  brew install z3 re2c ninja
  