Mirror
/
ardupilot
mirror of https://github.com/ArduPilot/ardupilot
5
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

actions: test_scripting: remove lua-language-server install

This commit is contained in:
Iampete1 2024-05-20 00:25:56 +01:00 committed by Andrew Tridgell
parent 260bc98d92
commit 38a7c837fc
1 changed files with 3 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
.github/workflows/test_scripting.yml vendored
View File

@ -36,27 +36,17 @@ jobs:
sudo apt-get -y install lua-check sudo apt-get -y install lua-check
./Tools/scripts/run_luacheck.sh ./Tools/scripts/run_luacheck.sh
- name: Setup language server - name: Language server check
shell: bash shell: bash
run: | run: |
sudo apt install -y curl python -m pip install github-release-downloader
/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)" python ./Tools/scripts/run_lua_language_check.py
(echo; echo 'eval "$(/home/linuxbrew/.linuxbrew/bin/brew shellenv)"') >> /github/home/.bashrc
source ~/.bashrc
brew install lua-language-server
- name: Generate docs md - name: Generate docs md
shell: bash shell: bash
run: | run: |
source ~/.bashrc
./Tools/scripts/generate_lua_docs.sh ./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 - name: copy docs
run: | run: |
PATH="/github/home/.local/bin:$PATH" PATH="/github/home/.local/bin:$PATH"