diff options
| author | Giacomo Pozzoni <giacomopoz@gmail.com> | 2020-10-25 10:31:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-25 10:31:29 +0100 |
| commit | d7459cccedc7ca9ba85e209dfeef61969fc78d9a (patch) | |
| tree | 6439c852ceb627ada0482b6ee3c4d73aed928134 /.github | |
| parent | 22a1797731ad1ae8e666c6a32ac36965db5f760b (diff) | |
CI/GitHub: Switch to GCC 8 (#25610)
* CI/GitHub: Switch to GCC 8
Build on GitHub Actions using GCC 8 as it's the oldest supported GCC
* Core/Misc: Attempt to fix GCC 8 build
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/gcc-build.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/gcc-build.yml b/.github/workflows/gcc-build.yml index d7860d88c72..555f70bf8cb 100644 --- a/.github/workflows/gcc-build.yml +++ b/.github/workflows/gcc-build.yml @@ -12,6 +12,7 @@ jobs: - name: Dependencies run: | sudo apt-get update && sudo apt-get install -yq libboost-all-dev + sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-8 100 --slave /usr/bin/g++ g++ /usr/bin/g++-8 - name: Setup run: | mkdir bin |