add languagetool ci, Fix #1 #2

Merged
philipp merged 12 commits from ci into main 2024-02-28 10:41:25 +01:00
Showing only changes of commit 002d82145c - Show all commits

View File

@ -73,16 +73,11 @@ jobs:
echo ~/.local/opt/node/bin >> $GITHUB_PATH echo ~/.local/opt/node/bin >> $GITHUB_PATH
- name: Install node
if: ${{ steps.prereq.outputs.need_node == '1' }}
run: |
apt update -y && apt install -y curl
curl -sS https://webi.sh/node | sh
echo ~/.local/opt/node/bin >> $GITHUB_PATH
- uses: actions/checkout@v3 - uses: actions/checkout@v3
with: with:
fetch-depth: 0 fetch-depth: 0
- name: Prepare environment - name: Prepare environment
run: | run: |
cd $LATEX_SPELLCHECK_SOURCE_PATH cd $LATEX_SPELLCHECK_SOURCE_PATH