Skip to content

Commit 687cd65

Browse files
DivitJain26DivitJain26
authored
Merge branch 'develop' into blas/base/ztbmv
2 parents fb8a421 + afe8812 commit 687cd65

2,713 files changed

Lines changed: 102540 additions & 9983 deletions

File tree

Some content is hidden

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

‎.commitlintrc.js‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@
2020

2121
// MODULES //
2222

23-
var config = require( './etc/commitlint/.commitlintrc.js' ); // eslint-disable-line node/no-unpublished-require
23+
var config = require( './etc/commitlint/.commitlintrc.js' ); // eslint-disable-line n/no-unpublished-require
2424

2525

2626
// EXPORTS //

‎.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@6044e13b5dc448c55e2357c09f80417699197238 # v6.2.0
84+
uses: actions/setup-node@48b55a011bda9f5d6aeb4c2d9c7362e8dae4041e # v6.4.0
8585
with:
8686
node-version: '20' # 'lts/*'
8787
timeout-minutes: 5

‎.github/workflows/check_pr_issue_references.lock.yml‎

Lines changed: 0 additions & 1001 deletions
This file was deleted.

‎.github/workflows/check_pr_issue_references.md‎

Lines changed: 0 additions & 136 deletions
This file was deleted.

‎.github/workflows/cleanup_coverage.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ jobs:
5353
# Find and update the '## Coverage Report' comment in the PR
5454
- name: 'Update coverage comment in PR'
5555
# Pin action to full length commit SHA
56-
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
56+
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
5757
with:
5858
github-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
5959
script: |

‎.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@6044e13b5dc448c55e2357c09f80417699197238 # v6.2.0
124+
uses: actions/setup-node@48b55a011bda9f5d6aeb4c2d9c7362e8dae4041e # v6.4.0
125125
with:
126126
node-version: '20' # 'lts/*'
127127
timeout-minutes: 5

‎.github/workflows/generate_monthly_changelog.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ jobs:
6464
# Install Node.js:
6565
- name: 'Install Node.js'
6666
# Pin action to full length commit SHA
67-
uses: actions/setup-node@6044e13b5dc448c55e2357c09f80417699197238 # v6.2.0
67+
uses: actions/setup-node@48b55a011bda9f5d6aeb4c2d9c7362e8dae4041e # v6.4.0
6868
with:
6969
node-version: '20' # 'lts/*'
7070
timeout-minutes: 5

‎.github/workflows/label_commands.yml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@ jobs:
5050

5151
- name: 'Remove label'
5252
# Pin action to full length commit SHA
53-
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
53+
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
5454
with:
5555
github-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
5656
script: |
@@ -67,7 +67,7 @@ jobs:
6767
6868
- name: 'Add in-progress label'
6969
# Pin action to full length commit SHA
70-
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
70+
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
7171
with:
7272
github-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
7373
script: |
@@ -222,7 +222,7 @@ jobs:
222222
# Run the step regardless of the outcome of previous steps:
223223
if: always()
224224
# Pin action to full length commit SHA
225-
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
225+
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
226226
with:
227227
github-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
228228
script: |

‎.github/workflows/label_good_first_prs.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -75,7 +75,7 @@ jobs:
7575
- name: 'Add "Good First PR" label if PR references a "Good First Issue"'
7676
if: ${{ steps.check-pr.outputs.good-first-pr == 'true' }}
7777
# Pin action to full-length commit SHA
78-
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
78+
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
7979
with:
8080
github-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
8181
script: |

‎.github/workflows/labeler.yml‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -68,7 +68,7 @@ jobs:
6868
- name: 'Add "First-time Contributor" label if PR is from a first-time contributor'
6969
if: ${{ github.event.action == 'opened' || github.event.action == 'reopened' }}
7070
# Pin action to full-length commit SHA
71-
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
71+
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
7272
with:
7373
github-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
7474
script: |
@@ -93,7 +93,7 @@ jobs:
9393
- name: 'Add "Needs Review" label if PR is opened and not draft'
9494
if: ${{ github.event.action == 'opened' && github.event.pull_request.draft == false }}
9595
# Pin action to full length commit SHA
96-
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
96+
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
9797
with:
9898
github-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
9999
script: |
@@ -108,7 +108,7 @@ jobs:
108108
- name: 'Add "Needs Review" label if PR is ready for review or review is requested'
109109
if: ${{ github.event.action == 'ready_for_review' || github.event.action == 'review_requested' }}
110110
# Pin action to full length commit SHA
111-
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
111+
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
112112
with:
113113
github-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
114114
script: |
@@ -123,7 +123,7 @@ jobs:
123123
- name: 'Remove "Needs Review" label if PR is converted to draft or closed'
124124
if: ${{ github.event.action == 'converted_to_draft' || github.event.action == 'closed' }}
125125
# Pin action to full length commit SHA
126-
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
126+
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
127127
with:
128128
github-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
129129
script: |
@@ -142,7 +142,7 @@ jobs:
142142
- name: 'Remove "Ready To Merge" label if PR is merged'
143143
if: ${{ github.event.action == 'closed' && github.event.pull_request.merged == true }}
144144
# Pin action to full length commit SHA
145-
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
145+
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
146146
with:
147147
github-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
148148
script: |
@@ -160,7 +160,7 @@ jobs:
160160
# Remove "Needs Review" and "Needs Changes" labels when "Ready To Merge" is assigned:
161161
- name: 'Remove "Needs Review" and "Needs Changes" labels when "Ready To Merge" is assigned'
162162
if: ${{ github.event.action == 'labeled' && github.event.label.name == 'Ready To Merge' }}
163-
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
163+
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
164164
with:
165165
github-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
166166
script: |
@@ -182,7 +182,7 @@ jobs:
182182
- name: 'Remove "First-time Contributor" label from other open PRs of same author if PR is merged'
183183
if: ${{ github.event.action == 'closed' && github.event.pull_request.merged == true }}
184184
# Pin action to full length commit SHA
185-
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
185+
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
186186
with:
187187
github-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
188188
script: |

0 commit comments

Comments
 (0)