Merge branch 'dev'

gershnik · May 15, 2024 · c54bb4d · c54bb4d
2 parents bd8703e + 9195c1d
commit c54bb4d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -59,6 +59,7 @@ jobs:
           fi
 
           if [[ '${{ matrix.compiler }}' == 'gcc' ]]; then
+            sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test
             sudo apt-get update
             sudo apt-get install -y gcc-${{ matrix.version }} g++-${{ matrix.version }}
             echo "CC=gcc-${{ matrix.version }}" >> $GITHUB_ENV