From 38a7c837fc1d7b79cb973d64bccd4ea50b17bcb0 Mon Sep 17 00:00:00 2001 From: Iampete1 Date: Mon, 20 May 2024 00:25:56 +0100 Subject: [PATCH] actions: test_scripting: remove lua-language-server install --- .github/workflows/test_scripting.yml | 16 +++------------- 1 file changed, 3 insertions(+), 13 deletions(-) diff --git a/.github/workflows/test_scripting.yml b/.github/workflows/test_scripting.yml index de2f274d95..64701f26e9 100644 --- a/.github/workflows/test_scripting.yml +++ b/.github/workflows/test_scripting.yml @@ -36,27 +36,17 @@ jobs: sudo apt-get -y install lua-check ./Tools/scripts/run_luacheck.sh - - name: Setup language server + - name: Language server check shell: bash run: | - sudo apt install -y curl - /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)" - (echo; echo 'eval "$(/home/linuxbrew/.linuxbrew/bin/brew shellenv)"') >> /github/home/.bashrc - source ~/.bashrc - brew install lua-language-server + python -m pip install github-release-downloader + python ./Tools/scripts/run_lua_language_check.py - name: Generate docs md shell: bash run: | - source ~/.bashrc ./Tools/scripts/generate_lua_docs.sh - - name: Language server check - shell: bash - run: | - source ~/.bashrc - python ./Tools/scripts/run_lua_language_check.py - - name: copy docs run: | PATH="/github/home/.local/bin:$PATH"