Merge branch 'master' into Playerbot

2024-07-11 12:32:13 +08:00
parent 1f54cb14fa 70eb920b10
commit 05c9a96ba9
74 changed files with 1708 additions and 1401 deletions
@@ -101,6 +101,8 @@ runs:
          -DCMAKE_BUILD_TYPE="Release" \
          -DCMAKE_CXX_COMPILER_LAUNCHER="ccache" \
          -DCMAKE_C_COMPILER_LAUNCHER="ccache" \
+          -DCMAKE_C_FLAGS="-Werror" \
+          -DCMAKE_CXX_FLAGS="-Werror" \
          -DBUILD_TESTING="ON" \
          -DUSE_SCRIPTPCH=${{ inputs.pch == 'true' && 'ON' || '' }} \
          -DUSE_COREPCH=${{ inputs.pch == 'true' && 'ON' || '' }} \
@@ -23,10 +23,6 @@ jobs:
            compiler:
              CC: clang-15
              CXX: clang++-15
-          - os: ubuntu-22.04
-            compiler:
-              CC: gcc-12
-              CXX: g++-12
          - os: ubuntu-24.04
            compiler:
              CC: clang-18