[stdlib] Fix `String.split()` implementations #2691

	# ===----------------------------------------------------------------------=== #
	# Copyright (c) 2024, Modular Inc. All rights reserved.
	#
	# Licensed under the Apache License v2.0 with LLVM Exceptions:
	# https://llvm.org/LICENSE.txt
	#
	# Unless required by applicable law or agreed to in writing, software
	# distributed under the License is distributed on an "AS IS" BASIS,
	# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	# See the License for the specific language governing permissions and
	# limitations under the License.
	# ===----------------------------------------------------------------------=== #

	name: Run pre-commit
	on:
	pull_request:
	types: [opened, synchronize, reopened, ready_for_review]
	workflow_dispatch:

	permissions:
	contents: read
	pull-requests: read

	jobs:
	lint:
	runs-on: "ubuntu-latest"
	timeout-minutes: 30

	defaults:
	run:
	shell: bash
	env:
	DEBIAN_FRONTEND: noninteractive

	steps:
	- name: Checkout repo
	uses: actions/checkout@v4

	- name: Download Magic CLI
	run: \|
	curl -ssL https://magic.modular.com/cfba4c92-2390-4b86-93de-04b2f47114d5 \| bash
	# Add magic to PATH
	echo "$HOME/.modular/bin" >> $GITHUB_PATH

	- name: Install pre-commit
	run: \|
	pip install pre-commit
	pre-commit install

	- name: Run pre-commit
	run: magic run pre-commit run --all-files

Provide feedback