CI: fix recent build issues (#6148)

Co-authored-by: Vitor K <vitor-kiguchi@hotmail.com>
This commit is contained in:
liushuyu 2022-10-05 10:43:07 -06:00 committed by GitHub
parent 7d18e36566
commit c6153bb32e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
13 changed files with 36 additions and 33 deletions

View file

@ -7,7 +7,7 @@ if grep -nrI '\s$' src *.yml *.txt *.md Doxyfile .gitignore .gitmodules .ci* dis
fi
# Default clang-format points to default 3.5 version one
CLANG_FORMAT=clang-format-10
CLANG_FORMAT=clang-format-12
$CLANG_FORMAT --version
if [ "$GITHUB_EVENT_NAME" = "pull_request" ]; then