improve docs sync script

pull/2326/head
René Werner 2023-07-09 18:49:42 +02:00
parent 47b767e716
commit 99902abc0c
1 changed files with 6 additions and 7 deletions

View File

@ -19,14 +19,13 @@ jobs:
with:
ref: ${{ github.event.pull_request.head.sha }}
fetch-depth: 2
- name: Setup Node.js environment
uses: actions/setup-node@v3
with:
node-version: '18'
- name: Setup Node.js environment
uses: actions/setup-node@v3
with:
node-version: '18'
- name: Install JQ
run: sudo apt-get install jq
- name: Install JQ
run: sudo apt-get install jq
- name: Sync docs
run: ./.github/scripts/sync_docs.sh