Merge branch 'master' into Playerbot

This commit is contained in:
Yunfan Li
2024-06-19 14:32:16 +08:00
84 changed files with 3708 additions and 2951 deletions

View File

@@ -16,9 +16,17 @@ concurrency:
jobs:
build:
strategy:
fail-fast: false
fail-fast: true
matrix:
include:
- os: ubuntu-22.04
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

View File

@@ -13,9 +13,13 @@ concurrency:
jobs:
build:
strategy:
fail-fast: false
fail-fast: true
matrix:
include:
- os: ubuntu-22.04
compiler:
CC: clang-15
CXX: clang++-15
- os: ubuntu-24.04
compiler:
CC: clang-18