Skip to content

Editorial: Replace terms "integer index" and "array index" #24

Editorial: Replace terms "integer index" and "array index"

Editorial: Replace terms "integer index" and "array index" #24

Triggered via pull request August 10, 2024 14:54
Status Success
Total duration 5m 56s
Artifacts

spellcheck.yml

on: pull_request
check for newly-introduced spelling errors
5m 49s
check for newly-introduced spelling errors
Fit to window
Zoom out
Zoom in

Annotations

1 warning
check for newly-introduced spelling errors
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, ljharb/actions/node/install@d9f477827ed71a259056764107f74afc29febcae. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/