add g++11 buildbot
MODIFY
.github/workflows/build.yml
.github/workflows/build.yml
@@ -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

add g++11 buildbot