commit 7d8dd8234a3d3c0562724337fb3ef4e77c067a1e
parent dd4c828c86d0da7823a1c415d0e9c1d493e901b7
Author: dundargoc <gocdundar@gmail.com>
Date: Sat, 9 Nov 2024 15:20:24 +0100
ci: downgrade to clang 19
Clang 20 is still in development at the time of this commit and is
unsuitable for CI.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/scripts/install_deps.sh b/.github/scripts/install_deps.sh
@@ -16,7 +16,7 @@ if [[ $os == Linux ]]; then
if [[ $CC == clang ]]; then
DEFAULT_CLANG_VERSION=$(echo | clang -dM -E - | grep __clang_major | awk '{print $3}')
- CLANG_VERSION=20
+ CLANG_VERSION=19
if ((DEFAULT_CLANG_VERSION >= CLANG_VERSION)); then
echo "Default clang version is $DEFAULT_CLANG_VERSION, which is equal or larger than wanted version $CLANG_VERSION. Aborting!"
exit 1