Skip to content

Commit 33ea60a

Browse files
vivekmaurya001vivekmaurya001
authored
Merge branch 'stdlib-js:develop' into logitf
2 parents 92cc9c6 + 60983a6 commit 33ea60a

File tree

7,863 files changed

+379930
-56731
lines changed

Some content is hidden

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

7,863 files changed

+379930
-56731
lines changed

‎.editorconfig‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -86,7 +86,6 @@ indent_style = tab
8686
[*.{f,f.txt}]
8787
indent_style = space
8888
indent_size = 2
89-
insert_final_newline = false
9089

9190
# Set properties for shell files:
9291
[*.{sh,sh.txt}]
@@ -121,7 +120,7 @@ indent_style = tab
121120
[*.{md,md.txt}]
122121
indent_style = space
123122
indent_size = 4
124-
trim_trailing_whitespace = false
123+
trim_trailing_whitespace = true # Note: this disables using two spaces to force a hard line break, which is permitted in Markdown. As we don't typically follow that practice (TMK), we should be safe to automatically trim.
125124
126125
# Set properties for `usage.txt` files:
127126
[usage.txt]

‎.github/labeler.yml‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,3 +27,15 @@ LAPACK:
2727
Math:
2828
- changed-files:
2929
- any-glob-to-all-files: '**/math/**/*'
30+
31+
REPL:
32+
- changed-files:
33+
- any-glob-to-all-files: '**/repl/**/*'
34+
35+
Statistics:
36+
- changed-files:
37+
- any-glob-to-all-files: '**/stats/**/*'
38+
39+
Tools:
40+
- changed-files:
41+
- any-glob-to-all-files: '**/_tools/**/*'

‎.github/workflows/check_licenses.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -128,7 +128,7 @@ jobs:
128128
# Upload the log file:
129129
- name: 'Upload log file'
130130
# Pin action to full length commit SHA
131-
uses: actions/upload-artifact@b4b15b8c7c6ac21ea08fcf65892d2ee8f75cf882 # v4.4.3
131+
uses: actions/upload-artifact@6f51ac03b9356f520e9adb1b1b7802705f340c2b # v4.5.0
132132
if: always()
133133
with:
134134
# Define a name for the uploaded artifact:

‎.github/workflows/cleanup_coverage.yml‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -59,19 +59,19 @@ jobs:
5959
script: |
6060
const prNumber = context.payload.pull_request.number;
6161
const { data: comments } = await github.rest.issues.listComments({
62-
owner: context.repo.owner,
63-
repo: context.repo.repo,
64-
issue_number: prNumber,
62+
'owner': context.repo.owner,
63+
'repo': context.repo.repo,
64+
'issue_number': prNumber
6565
});
6666
const coverageComment = comments.find( comment => comment.body && comment.body.includes( '## Coverage Report' ) );
6767
if ( coverageComment ) {
6868
// Replace URLs with plain text in the coverage report comment body:
6969
const updatedBody = coverageComment.body.replace( /<a href="[^"]+">([^<]+)<\/a>/g, '$1' );
7070
await github.rest.issues.updateComment({
71-
owner: context.repo.owner,
72-
repo: context.repo.repo,
73-
comment_id: coverageComment.id,
74-
body: updatedBody,
71+
'owner': context.repo.owner,
72+
'repo': context.repo.repo,
73+
'comment_id': coverageComment.id,
74+
'body': updatedBody
7575
});
7676
} else {
7777
console.log( 'No Coverage Report comment found.' );

‎.github/workflows/label_commands.yml‎

Lines changed: 242 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,242 @@
1+
#/
2+
# @license Apache-2.0
3+
#
4+
# Copyright (c) 2024 The Stdlib Authors.
5+
#
6+
# Licensed under the Apache License, Version 2.0 (the "License");
7+
# you may not use this file except in compliance with the License.
8+
# You may obtain a copy of the License at
9+
#
10+
# http://www.apache.org/licenses/LICENSE-2.0
11+
#
12+
# Unless required by applicable law or agreed to in writing, software
13+
# distributed under the License is distributed on an "AS IS" BASIS,
14+
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15+
# See the License for the specific language governing permissions and
16+
# limitations under the License.
17+
#/
18+
19+
# Workflow name:
20+
name: label_commands
21+
22+
# Workflow triggers:
23+
on:
24+
pull_request_target:
25+
types:
26+
- labeled
27+
28+
# Workflow jobs:
29+
jobs:
30+
31+
# Define a job for removing the label and adding in-progress label:
32+
manage_labels:
33+
34+
# Define a display name:
35+
name: 'Manage labels'
36+
37+
# Define the type of virtual host machine:
38+
runs-on: ubuntu-latest
39+
40+
# Define the conditions under which the job should run:
41+
if: |
42+
github.event.label.name == 'bot: Merge' ||
43+
github.event.label.name == 'bot: Rebase' ||
44+
github.event.label.name == 'bot: Check Files' ||
45+
github.event.label.name == 'bot: Lint Autofix' ||
46+
github.event.label.name == 'bot: Update Copyright Years'
47+
48+
# Define the job's steps:
49+
steps:
50+
51+
- name: 'Remove label'
52+
# Pin action to full length commit SHA
53+
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
54+
with:
55+
github-token: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
56+
script: |
57+
try {
58+
await github.rest.issues.removeLabel({
59+
'owner': context.repo.owner,
60+
'repo': context.repo.repo,
61+
'issue_number': context.issue.number,
62+
'name': '${{ github.event.label.name }}'
63+
})
64+
} catch ( error ) {
65+
console.log( 'Error removing label: %s', error.message );
66+
}
67+
68+
- name: 'Add in-progress label'
69+
# Pin action to full length commit SHA
70+
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
71+
with:
72+
github-token: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
73+
script: |
74+
github.rest.issues.addLabels({
75+
'owner': context.repo.owner,
76+
'repo': context.repo.repo,
77+
'issue_number': context.issue.number,
78+
'labels': ['bot: In Progress']
79+
})
80+
81+
# Add initial reaction to comment with slash command:
82+
- name: 'Add initial reaction'
83+
run: |
84+
curl -X POST \
85+
-H "Accept: application/vnd.github.v3+json" \
86+
-H "Authorization: Bearer ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}" \
87+
"https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.pull_request.number }}/reactions" \
88+
-d '{"content":"eyes"}'
89+
90+
# Define a job for checking for required files:
91+
check_files:
92+
93+
# Define a display name:
94+
name: 'Check for required files'
95+
96+
# Ensure initial reaction job has completed before running this job:
97+
needs: [ manage_labels ]
98+
99+
# Define the conditions under which the job should run:
100+
if: |
101+
github.event.label.name == 'bot: Check Files'
102+
103+
# Run reusable workflow:
104+
uses: ./.github/workflows/check_required_files.yml
105+
with:
106+
pull_request_number: ${{ github.event.pull_request.number }}
107+
user: ${{ github.event.sender.login }}
108+
secrets:
109+
STDLIB_BOT_GITHUB_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
110+
111+
# Define a job for updating copyright header years:
112+
update_copyright_years:
113+
114+
# Define a display name:
115+
name: 'Update copyright header years'
116+
117+
# Ensure initial reaction job has completed before running this job:
118+
needs: [ manage_labels ]
119+
120+
# Define the conditions under which the job should run:
121+
if: |
122+
github.event.label.name == 'bot: Update Copyright Years'
123+
124+
# Run reusable workflow:
125+
uses: ./.github/workflows/update_pr_copyright_years.yml
126+
with:
127+
pull_request_number: ${{ github.event.pull_request.number }}
128+
secrets:
129+
REPO_GITHUB_TOKEN: ${{ secrets.REPO_GITHUB_TOKEN }}
130+
STDLIB_BOT_GITHUB_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
131+
STDLIB_BOT_GPG_PRIVATE_KEY: ${{ secrets.STDLIB_BOT_GPG_PRIVATE_KEY }}
132+
STDLIB_BOT_GPG_PASSPHRASE: ${{ secrets.STDLIB_BOT_GPG_PASSPHRASE }}
133+
134+
# Define a job for auto-fixing lint errors:
135+
fix_lint_errors:
136+
137+
# Define a display name:
138+
name: 'Auto-fix lint errors'
139+
140+
# Ensure initial reaction job has completed before running this job:
141+
needs: [ manage_labels ]
142+
143+
# Define the conditions under which the job should run:
144+
if: |
145+
github.event.label.name == 'bot: Lint Autofix'
146+
147+
# Run reusable workflow:
148+
uses: ./.github/workflows/lint_autofix.yml
149+
with:
150+
pull_request_number: ${{ github.event.pull_request.number }}
151+
secrets:
152+
REPO_GITHUB_TOKEN: ${{ secrets.REPO_GITHUB_TOKEN }}
153+
STDLIB_BOT_GITHUB_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
154+
STDLIB_BOT_GPG_PRIVATE_KEY: ${{ secrets.STDLIB_BOT_GPG_PRIVATE_KEY }}
155+
STDLIB_BOT_GPG_PASSPHRASE: ${{ secrets.STDLIB_BOT_GPG_PASSPHRASE }}
156+
157+
# Define a job for merging develop branch:
158+
merge_develop:
159+
160+
# Define a display name:
161+
name: 'Merge changes from develop branch into this PR'
162+
163+
# Ensure initial reaction job has completed before running this job:
164+
needs: [ manage_labels ]
165+
166+
# Define the conditions under which the job should run:
167+
if: |
168+
github.event.label.name == 'bot: Merge'
169+
170+
# Run reusable workflow:
171+
uses: ./.github/workflows/pr_merge_develop.yml
172+
with:
173+
pull_request_number: ${{ github.event.pull_request.number }}
174+
secrets:
175+
REPO_GITHUB_TOKEN: ${{ secrets.REPO_GITHUB_TOKEN }}
176+
STDLIB_BOT_GITHUB_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
177+
STDLIB_BOT_GPG_PRIVATE_KEY: ${{ secrets.STDLIB_BOT_GPG_PRIVATE_KEY }}
178+
STDLIB_BOT_GPG_PASSPHRASE: ${{ secrets.STDLIB_BOT_GPG_PASSPHRASE }}
179+
180+
# Define a job for rebasing on develop branch:
181+
rebase_develop:
182+
183+
# Define a display name:
184+
name: 'Rebase this PR on top of develop branch'
185+
186+
# Ensure initial reaction job has completed before running this job:
187+
needs: [ manage_labels ]
188+
189+
# Define the conditions under which the job should run:
190+
if: |
191+
github.event.label.name == 'bot: Rebase'
192+
193+
# Run reusable workflow:
194+
uses: ./.github/workflows/pr_rebase_develop.yml
195+
with:
196+
pull_request_number: ${{ github.event.pull_request.number }}
197+
secrets:
198+
REPO_GITHUB_TOKEN: ${{ secrets.REPO_GITHUB_TOKEN }}
199+
STDLIB_BOT_GITHUB_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
200+
STDLIB_BOT_GPG_PRIVATE_KEY: ${{ secrets.STDLIB_BOT_GPG_PRIVATE_KEY }}
201+
STDLIB_BOT_GPG_PASSPHRASE: ${{ secrets.STDLIB_BOT_GPG_PASSPHRASE }}
202+
203+
# Define a job for removing the in-progress label:
204+
remove_progress_label:
205+
206+
# Define a display name:
207+
name: 'Remove in-progress label'
208+
209+
# Define the type of virtual host machine:
210+
runs-on: ubuntu-latest
211+
212+
# Ensure all previous jobs have completed before running this job:
213+
needs: [ manage_labels, check_files, update_copyright_years, fix_lint_errors, merge_develop, rebase_develop ]
214+
215+
# Define the conditions under which the job should run:
216+
if: |
217+
github.event.label.name == 'bot: Merge' ||
218+
github.event.label.name == 'bot: Rebase' ||
219+
github.event.label.name == 'bot: Check Files' ||
220+
github.event.label.name == 'bot: Lint Autofix' ||
221+
github.event.label.name == 'bot: Update Copyright Years'
222+
223+
# Define the job's steps:
224+
steps:
225+
- name: Remove in-progress label
226+
# Run the step regardless of the outcome of previous steps:
227+
if: always()
228+
# Pin action to full length commit SHA
229+
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
230+
with:
231+
github-token: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
232+
script: |
233+
try {
234+
await github.rest.issues.removeLabel({
235+
'owner': context.repo.owner,
236+
'repo': context.repo.repo,
237+
'issue_number': context.issue.number,
238+
'name': 'bot: In Progress'
239+
})
240+
} catch ( error ) {
241+
console.log( 'Error removing label: %s', error.message );
242+
}

‎.github/workflows/labeler.yml‎

Lines changed: 28 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@ on:
3131
- review_request_removed
3232
- ready_for_review
3333
- converted_to_draft
34+
- labeled
3435

3536
# Workflow jobs:
3637
jobs:
@@ -75,12 +76,12 @@ jobs:
7576
'owner': context.repo.owner,
7677
'repo': context.repo.repo,
7778
'issue_number': context.payload.pull_request.number,
78-
'labels': ['Needs Review'],
79+
'labels': [ 'Needs Review' ]
7980
})
8081
81-
# Add "Needs Review" label when PR is marked ready for review:
82-
- name: 'Add "Needs Review" label if PR is ready for review'
83-
if: ${{ github.event.action == 'ready_for_review' }}
82+
# Add "Needs Review" label when PR is marked ready for review or review is requested:
83+
- name: 'Add "Needs Review" label if PR is ready for review or review is requested'
84+
if: ${{ github.event.action == 'ready_for_review' || github.event.action == 'review_requested' }}
8485
# Pin action to full length commit SHA
8586
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
8687
with:
@@ -90,7 +91,7 @@ jobs:
9091
'owner': context.repo.owner,
9192
'repo': context.repo.repo,
9293
'issue_number': context.payload.pull_request.number,
93-
'labels': ['Needs Review'],
94+
'labels': [ 'Needs Review' ]
9495
})
9596
9697
# Remove "Needs Review" label when PR is converted to draft or closed:
@@ -106,8 +107,29 @@ jobs:
106107
'owner': context.repo.owner,
107108
'repo': context.repo.repo,
108109
'issue_number': context.payload.pull_request.number,
109-
'name': 'Needs Review',
110+
'name': 'Needs Review'
110111
})
111112
} catch ( error ) {
112113
console.log( 'Error removing label: %s', error.message );
113114
}
115+
116+
# Remove "Needs Review" and "Needs Changes" labels when "Ready To Merge" is assigned:
117+
- name: 'Remove "Needs Review" and "Needs Changes" labels when "Ready To Merge" is assigned'
118+
if: ${{ github.event.action == 'labeled' && github.event.label.name == 'Ready To Merge' }}
119+
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
120+
with:
121+
github-token: ${{ secrets.CHATBOT_GITHUB_TOKEN }}
122+
script: |
123+
const labelsToRemove = [ 'Needs Review', 'Needs Changes' ];
124+
for ( const label of labelsToRemove ) {
125+
try {
126+
await github.rest.issues.removeLabel({
127+
'owner': context.repo.owner,
128+
'repo': context.repo.repo,
129+
'issue_number': context.payload.pull_request.number,
130+
'name': label
131+
})
132+
} catch ( error ) {
133+
console.log( 'Error removing label %s: %s', label, error.message );
134+
}
135+
}

0 commit comments

Comments
 (0)