From 3a86b60032bd659c2b12e984abb40cee93568558 Mon Sep 17 00:00:00 2001 From: dundargoc Date: Sun, 29 Sep 2024 14:07:21 +0200 Subject: docs: misc Co-authored-by: David Pedersen Co-authored-by: Gregory Anders Co-authored-by: Leo Schlosser Co-authored-by: zeertzjq --- .github/scripts/install_deps.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.github/scripts') diff --git a/.github/scripts/install_deps.sh b/.github/scripts/install_deps.sh index b7d723e690..df2bc98075 100755 --- a/.github/scripts/install_deps.sh +++ b/.github/scripts/install_deps.sh @@ -18,7 +18,7 @@ if [[ $os == Linux ]]; then DEFAULT_CLANG_VERSION=$(echo | clang -dM -E - | grep __clang_major | awk '{print $3}') CLANG_VERSION=20 if ((DEFAULT_CLANG_VERSION >= CLANG_VERSION)); then - echo "Default clang version is $DEFAULT_CLANG_VERSION, which equal or larger than wanted version $CLANG_VERSION. Aborting!" + echo "Default clang version is $DEFAULT_CLANG_VERSION, which is equal or larger than wanted version $CLANG_VERSION. Aborting!" exit 1 fi -- cgit From f8b193a01e7f98a6fff2d0fdc04b697139ddc3fc Mon Sep 17 00:00:00 2001 From: dundargoc Date: Thu, 31 Oct 2024 17:47:24 +0100 Subject: ci: adjust reviewers --- .github/scripts/reviewers_add.js | 10 ---------- 1 file changed, 10 deletions(-) (limited to '.github/scripts') diff --git a/.github/scripts/reviewers_add.js b/.github/scripts/reviewers_add.js index 50195497af..08b4e85b74 100644 --- a/.github/scripts/reviewers_add.js +++ b/.github/scripts/reviewers_add.js @@ -39,10 +39,6 @@ module.exports = async ({ github, context }) => { reviewers.add("lewis6991"); } - if (labels.includes("documentation")) { - reviewers.add("clason"); - } - if (labels.includes("editorconfig")) { reviewers.add("gpanders"); } @@ -53,7 +49,6 @@ module.exports = async ({ github, context }) => { if (labels.includes("filetype")) { reviewers.add("clason"); - reviewers.add("gpanders"); } if (labels.includes("inccommand")) { @@ -90,10 +85,6 @@ module.exports = async ({ github, context }) => { reviewers.add("famiu"); } - if (labels.includes("test")) { - reviewers.add("justinmk"); - } - if (labels.includes("treesitter")) { reviewers.add("bfredl"); reviewers.add("clason"); @@ -110,7 +101,6 @@ module.exports = async ({ github, context }) => { } if (labels.includes("vim-patch")) { - reviewers.add("seandewar"); reviewers.add("zeertzjq"); } -- cgit From 7d8dd8234a3d3c0562724337fb3ef4e77c067a1e Mon Sep 17 00:00:00 2001 From: dundargoc Date: Sat, 9 Nov 2024 15:20:24 +0100 Subject: ci: downgrade to clang 19 Clang 20 is still in development at the time of this commit and is unsuitable for CI. --- .github/scripts/install_deps.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.github/scripts') diff --git a/.github/scripts/install_deps.sh b/.github/scripts/install_deps.sh index df2bc98075..2aec8ea553 100755 --- 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 -- cgit