build: update workflow

isle-project · Jul 14, 2023 · d500f7c · d500f7c
1 parent 90686b3
commit d500f7c
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
@@ -50,7 +50,9 @@ jobs:
       # Install dependencies (accounting for possible network failures, etc, when installing node module dependencies):
       - name: 'Install dependencies'
         run: |
+          npm run profile-start -- build-docs
           npm install | npm install | npm install
+          npm run profile-end
         timeout-minutes: 15
 
       # Get list of changed files:
@@ -98,6 +100,12 @@ jobs:
             echo "changed=false" >> $GITHUB_OUTPUT
           fi
 
+      # Set GitHub bot user name and email:
+      - name: 'Set GitHub bot user name and email'
+        run: |
+          git config --global user.name "github-actions[bot]"
+          git config --global user.email "noreply@github.com"
+
       # Commit changes:
       - name: 'Commit changes'
         if: steps.regenerate-docs.outputs.changed == 'true' || steps.regenerate-ts-docs.outputs.changed == 'true'