chore: build main docs after publishing

This commit is contained in:
Randolf Jung
2022-05-31 15:38:20 +02:00
parent 47c4f51ac7
commit bc1326f16e
3 changed files with 21 additions and 5 deletions

View File

@@ -18,7 +18,7 @@ jobs:
- name: Build
run: |
node utils/generate_version_file.js
IS_PRE_RELEASE=1 npm run doc
IS_RELEASE=1 npm run doc
- name: Commit and push
run: |
git config --global user.email "55107282+release-please[bot]@users.noreply.github.com"