undo CI change

This commit is contained in:
Ștefan Talpalaru 2024-02-05 13:38:22 +01:00 committed by Christoph Oelckers
parent b5eb8f47db
commit 07d6b1448a
1 changed files with 1 additions and 1 deletions

View File

@ -44,7 +44,7 @@ jobs:
- name: Linux GCC 12 - name: Linux GCC 12
os: ubuntu-22.04 os: ubuntu-22.04
extra_options: -DCMAKE_C_COMPILER=gcc-12 -DCMAKE_CXX_COMPILER=g++-12 -DCMAKE_DISABLE_PRECOMPILE_HEADERS=ON extra_options: -DCMAKE_C_COMPILER=gcc-12 -DCMAKE_CXX_COMPILER=g++-12
deps_cmdline: sudo apt update && sudo apt install libsdl2-dev libvpx-dev libgtk-3-dev libwebp-dev deps_cmdline: sudo apt update && sudo apt install libsdl2-dev libvpx-dev libgtk-3-dev libwebp-dev
build_type: MinSizeRel build_type: MinSizeRel