ci: fix build docs (#13490)

This commit is contained in:
Julien Robert 2022-10-10 17:05:01 +02:00 committed by GitHub
parent a74989ddf4
commit ac4fb8b8df
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 0 deletions

View File

@ -24,6 +24,13 @@ jobs:
persist-credentials: false
fetch-depth: 0
- name: Use Node.js
uses: actions/setup-node@v3
with:
node-version: "16.x"
# npm install npm should be removed when https://github.com/npm/cli/issues/4942 is fixed
- name: Build docs
run: |
npm install -g npm@8.5.5
make build-docs

View File

@ -32,8 +32,10 @@ jobs:
with:
node-version: "16.x"
# npm install npm should be removed when https://github.com/npm/cli/issues/4942 is fixed
- name: Build 🔧
run: |
npm install -g npm@8.5.5
make build-docs
- name: Deploy 🚀