CI: Up gcc version to 13.

gcc 11 is not found anymore; use a newer version.
hzeller · Nov 7, 2024 · 3d35092 · 3d35092
1 parent a841274
commit 3d35092
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -65,7 +65,7 @@ jobs:
         pushd build && ctest --output-on-failure && popd
 
         rm -rf build      # make sure we only see installation artifacts
-        
+
         # This shouldn''t be necessary, and can't be reproduced outside CI
         export CMAKE_PREFIX_PATH=$INSTALL_DIR
 
@@ -871,8 +871,8 @@ jobs:
           echo 'CC=clang' >> $GITHUB_ENV
           echo 'CXX=clang++' >> $GITHUB_ENV
         else
-          echo 'CC=gcc-11' >> $GITHUB_ENV
-          echo 'CXX=g++-11' >> $GITHUB_ENV
+          echo 'CC=gcc-13' >> $GITHUB_ENV
+          echo 'CXX=g++-13' >> $GITHUB_ENV
         fi
 
     - name: Configure shell