Merge branch 'develop' of https://github.com/stdlib-js/stdlib into develop

Author: Planeshifter

.github/workflows/check_required_files.yml

@@ -215,7 +215,7 @@ jobs:
       - name: 'Create a comment on the pull request informing the user whether the pull request is missing required files'
         if: steps.check-reviewers.outputs.is_stdlib_bot == 'true'
         # Pin action to full length commit SHA
-        uses: peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa # v3.0.2
+        uses: peter-evans/create-or-update-comment@23ff15729ef2fc348714a3bb66d2f655ca9066f2 # v3.1.0
         with:
           # Specify the issue or pull request number:
           issue-number: ${{ github.event.pull_request.number }}

.github/workflows/scaffold_pkg_via_branch_push.yml

@@ -108,7 +108,7 @@ jobs:
       - name: 'Add comment to pull request'
         if: steps.check-branch-name.outputs.issue-number != ''
         # Pin action to full length commit SHA
-        uses: peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa # v3.0.2
+        uses: peter-evans/create-or-update-comment@23ff15729ef2fc348714a3bb66d2f655ca9066f2 # v3.1.0
         with:
           issue-number: ${{ steps.check-branch-name.outputs.issue-number }}
           body: |

.github/workflows/scaffold_pkg_via_pull_request_assignment.yml

@@ -168,7 +168,7 @@ jobs:
       # Add a comment to the pull request:
       - name: 'Add comment to pull request'
         # Pin action to full length commit SHA
-        uses: peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa # v3.0.2
+        uses: peter-evans/create-or-update-comment@23ff15729ef2fc348714a3bb66d2f655ca9066f2 # v3.1.0
         with:
           issue-number: ${{ github.event.pull_request.number }}
           body: |
@@ -262,7 +262,7 @@ jobs:
       # Add comment to the pull request:
       - name: 'Add comment to pull request'
         # Pin action to full length commit SHA corresponding to v3.0.2
-        uses: peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa
+        uses: peter-evans/create-or-update-comment@23ff15729ef2fc348714a3bb66d2f655ca9066f2
         with:
           issue-number: ${{ github.event.pull_request.number }}
           body: |