Skip to content

Commit 8b91936

Browse files
Merge branch 'stdlib-js:develop' into develop
2 parents 415c35b + fc1256b commit 8b91936

File tree

1,643 files changed

+63376
-16008
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

1,643 files changed

+63376
-16008
lines changed

.github/workflows/autoclose.yml

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -179,3 +179,35 @@ jobs:
179179
GH_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
180180
GH_REPO: ${{ github.repository }}
181181
NUMBER: ${{ github.event.pull_request.number }}
182+
183+
# Define a job which closes a pull request if a pull request is considered stale:
184+
stale:
185+
186+
# Define job name:
187+
name: 'Check for stale label'
188+
189+
# Only run this job if the pull request has a specific label:
190+
if: "${{ github.event.label.name == 'autoclose: Stale' }}"
191+
192+
# Define job permissions:
193+
permissions:
194+
contents: read
195+
issues: write
196+
pull-requests: write
197+
198+
# Define the type of virtual host machine:
199+
runs-on: ubuntu-latest
200+
201+
# Define the sequence of job steps:
202+
steps:
203+
# Close the pull request:
204+
- name: 'Close pull request'
205+
run: gh pr close "$NUMBER" --comment "$BODY"
206+
env:
207+
GH_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
208+
GH_REPO: ${{ github.repository }}
209+
NUMBER: ${{ github.event.pull_request.number }}
210+
BODY: |
211+
This pull request has been automatically closed because it has been inactive for an extended period after changes were requested. If you still wish to pursue this contribution, feel free to reopen the pull request or submit a new one.
212+
213+
We appreciate your interest in contributing to stdlib!

.github/workflows/check_licenses.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -81,7 +81,7 @@ jobs:
8181
# Install Node.js:
8282
- name: 'Install Node.js'
8383
# Pin action to full length commit SHA
84-
uses: actions/setup-node@1e60f620b9541d16bece96c5465dc8ee9832be0b # v4.0.3
84+
uses: actions/setup-node@0a44ba7841725637a19e28fa30b79a866c81b0a6 # v4.0.4
8585
with:
8686
node-version: '20' # 'lts/*'
8787
timeout-minutes: 5

.github/workflows/codeql.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -121,7 +121,7 @@ jobs:
121121
# Install Node.js:
122122
- name: 'Install Node.js'
123123
# Pin action to full length commit SHA
124-
uses: actions/setup-node@1e60f620b9541d16bece96c5465dc8ee9832be0b # v4.0.3
124+
uses: actions/setup-node@0a44ba7841725637a19e28fa30b79a866c81b0a6 # v4.0.4
125125
with:
126126
node-version: '20' # 'lts/*'
127127
timeout-minutes: 5

.github/workflows/generate_pr_commit_message.yml

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,14 +21,19 @@ name: generate_pr_commit_message
2121

2222
# Workflow triggers:
2323
on:
24-
pull_request:
24+
pull_request_target:
2525
types:
2626
- labeled
2727

2828
# Global permissions:
2929
permissions:
30+
# Allow read-only access to the repository contents:
3031
contents: read
32+
33+
# Allow write access to issues, assignees, labels, and milestones:
3134
issues: write
35+
36+
# Allow write access to pull requests:
3237
pull-requests: write
3338

3439
# Workflow jobs:
@@ -71,7 +76,7 @@ jobs:
7176
7277
# Post commit message as PR comment:
7378
- name: 'Post commit message as PR comment'
74-
uses: peter-evans/create-or-update-comment@v3
79+
uses: peter-evans/create-or-update-comment@v4
7580
with:
7681
token: ${{ secrets.CHATBOT_GITHUB_TOKEN }}
7782
issue-number: ${{ github.event.pull_request.number }}

.github/workflows/lint_autofix.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -100,7 +100,7 @@ jobs:
100100
# Install Node.js:
101101
- name: 'Install Node.js'
102102
# Pin action to full length commit SHA
103-
uses: actions/setup-node@1e60f620b9541d16bece96c5465dc8ee9832be0b # v4.0.3
103+
uses: actions/setup-node@0a44ba7841725637a19e28fa30b79a866c81b0a6 # v4.0.4
104104
with:
105105
node-version: '20' # 'lts/*'
106106
timeout-minutes: 5

.github/workflows/lint_changed_files.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@ jobs:
6767
# Install Node.js:
6868
- name: 'Install Node.js'
6969
# Pin action to full length commit SHA
70-
uses: actions/setup-node@1e60f620b9541d16bece96c5465dc8ee9832be0b # v4.0.3
70+
uses: actions/setup-node@0a44ba7841725637a19e28fa30b79a866c81b0a6 # v4.0.4
7171
with:
7272
node-version: '20' # 'lts/*'
7373
timeout-minutes: 5

.github/workflows/lint_pr_title.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -71,7 +71,7 @@ jobs:
7171
# Install Node.js:
7272
- name: 'Install Node.js'
7373
# Pin action to full length commit SHA
74-
uses: actions/setup-node@1e60f620b9541d16bece96c5465dc8ee9832be0b # v4.0.3
74+
uses: actions/setup-node@0a44ba7841725637a19e28fa30b79a866c81b0a6 # v4.0.4
7575
with:
7676
node-version: '20' # 'lts/*'
7777
timeout-minutes: 5

.github/workflows/lint_random_files.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -108,7 +108,7 @@ jobs:
108108
# Install Node.js:
109109
- name: 'Install Node.js'
110110
# Pin action to full length commit SHA
111-
uses: actions/setup-node@1e60f620b9541d16bece96c5465dc8ee9832be0b # v4.0.3
111+
uses: actions/setup-node@0a44ba7841725637a19e28fa30b79a866c81b0a6 # v4.0.4
112112
with:
113113
node-version: '20' # 'lts/*'
114114
timeout-minutes: 5
@@ -426,7 +426,7 @@ jobs:
426426
if: ${{ github.event.inputs.fix == 'true' }} && ( success() || failure() )
427427
id: cpr
428428
# Pin action to full length commit SHA
429-
uses: peter-evans/create-pull-request@c5a7806660adbe173f04e3e038b0ccdcd758773c # v6.1.0
429+
uses: peter-evans/create-pull-request@5e914681df9dc83aa4e4905692ca88beb2f9e91f # v7.0.5
430430
with:
431431
title: 'style: fix lint errors'
432432
add-paths: ${{ steps.random-files.outputs.files }}

.github/workflows/linux_benchmark.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -180,7 +180,7 @@ jobs:
180180
# Install Node.js:
181181
- name: 'Install Node.js'
182182
# Pin action to full length commit SHA
183-
uses: actions/setup-node@1e60f620b9541d16bece96c5465dc8ee9832be0b # v4.0.3
183+
uses: actions/setup-node@0a44ba7841725637a19e28fa30b79a866c81b0a6 # v4.0.4
184184
with:
185185
node-version: ${{ matrix.NODE_VERSION }}
186186
timeout-minutes: 5

.github/workflows/linux_examples.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -180,7 +180,7 @@ jobs:
180180
# Install Node.js:
181181
- name: 'Install Node.js'
182182
# Pin action to full length commit SHA
183-
uses: actions/setup-node@1e60f620b9541d16bece96c5465dc8ee9832be0b # v4.0.3
183+
uses: actions/setup-node@0a44ba7841725637a19e28fa30b79a866c81b0a6 # v4.0.4
184184
with:
185185
node-version: ${{ matrix.NODE_VERSION }}
186186
timeout-minutes: 5

0 commit comments

Comments
 (0)