Skip to content

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

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

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

Triggered via pull request April 28, 2024 14:02
Status Success
Total duration 34s
Artifacts

enforce-format.yml

on: pull_request
enforce format
25s
enforce format
Fit to window
Zoom out
Zoom in

Annotations

1 warning
enforce format
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ljharb/actions/node/install@d9f477827ed71a259056764107f74afc29febcae. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.