diff options
author | Giacomo Pozzoni <giacomopoz@gmail.com> | 2021-04-03 21:27:06 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-03 21:27:06 +0200 |
commit | 39bd263c72757acb7facd27cc12b0230866a8f25 (patch) | |
tree | 2e6ec07ffff26962e688c622ce9284f53fd259c6 /.github | |
parent | c6e2b6e88c43b3ef79e4eab25b99b1799af161c3 (diff) |
CI/GitHub: Install GCC 8 (#26341)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/gcc-build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/gcc-build.yml b/.github/workflows/gcc-build.yml index 555f70bf8cb..4438a1ae89e 100644 --- a/.github/workflows/gcc-build.yml +++ b/.github/workflows/gcc-build.yml @@ -11,7 +11,7 @@ jobs: - uses: actions/checkout@v2 - name: Dependencies run: | - sudo apt-get update && sudo apt-get install -yq libboost-all-dev + sudo apt-get update && sudo apt-get install -yq libboost-all-dev g++-8 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: | |