github(workflows/ubuntu.yml): Remove gcc-11

dreal · Jun 3, 2021 · 85db24b · 85db24b
1 parent 6d1da9f
commit 85db24b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 18 deletions.
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
@@ -13,16 +13,12 @@ jobs:
     runs-on: ubuntu-20.04
     strategy:
       matrix:
-        cc: [gcc-9, gcc-10, gcc-11, clang-10, clang-11]
+        cc: [gcc-9, gcc-10, clang-10, clang-11]
     steps:
      - name: checkout
        uses: actions/checkout@v2
      - name: setup
        run: sudo ./setup/ubuntu/20.04/install_prereqs.sh
-     - name: Workaround GHA Issue with GCC 11
-       if: startsWith(matrix.cc, 'clang')
-       run: |
-         sudo apt remove libgcc-11-dev gcc-11
      - name: build and test
        run: |
          CC=${{ matrix.cc }} bazel test //... \
@@ -34,16 +30,12 @@ jobs:
     runs-on: ubuntu-18.04
     strategy:
       matrix:
-        cc: [gcc-7, gcc-9, gcc-10, gcc-11, clang-9]
+        cc: [gcc-7, gcc-9, gcc-10, clang-9]
     steps:
      - name: checkout
        uses: actions/checkout@v2
      - name: setup
        run: sudo ./setup/ubuntu/18.04/install_prereqs.sh
-     - name: Workaround GHA Issue with GCC 11
-       if: startsWith(matrix.cc, 'clang')
-       run: |
-         sudo apt remove libgcc-11-dev gcc-11
      - name: build and test
        run: |
          CC=${{ matrix.cc }} bazel test //... \
@@ -58,9 +50,6 @@ jobs:
        uses: actions/checkout@v2
      - name: setup
        run: sudo ./setup/ubuntu/20.04/install_prereqs.sh
-     - name: Workaround GHA Issue with GCC 11
-       run: |
-         sudo apt remove libgcc-11-dev gcc-11
      - name: build and test
        run: |
          CC=clang-11 bazel test //... \
@@ -77,9 +66,6 @@ jobs:
        uses: actions/checkout@v2
      - name: setup
        run: sudo ./setup/ubuntu/20.04/install_prereqs.sh
-     - name: Workaround GHA Issue with GCC 11
-       run: |
-         sudo apt remove libgcc-11-dev gcc-11
      - name: build and test
        run: |
          CC=clang-11 bazel test //... \

diff --git a/README.md b/README.md
@@ -146,8 +146,7 @@ In CI, we test that dReal can be built using the following compilers:
    [clang-11](https://releases.llvm.org/11.0.0/tools/clang/docs/),
    [gcc-7](https://gcc.gnu.org/gcc-7),
    [gcc-9](https://gcc.gnu.org/gcc-9),
-   [gcc-10](https://gcc.gnu.org/gcc-10),
-   [gcc-11](https://gcc.gnu.org/gcc-11)
+   [gcc-10](https://gcc.gnu.org/gcc-10)
  - macOS: [Apple clang](https://developer.apple.com/library/content/documentation/CompilerTools/Conceptual/LLVMCompilerOverview/index.html)