Skip to content

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

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

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

name: Require “Allow Edits”
on: [pull_request]
jobs:
_:
name: "Require “Allow Edits”"
runs-on: ubuntu-22.04
steps:
- uses: ljharb/require-allow-edits@main