Fix case sensitivity in history-substring-search plugin #6430

	name: CI
	on:
	pull_request:
	types:
	- opened
	- synchronize
	branches:
	- master
	push:
	branches:
	- master

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	permissions:
	contents: read # to fetch code (actions/checkout)

	jobs:
	tests:
	name: Run tests
	runs-on: ubuntu-latest
	if: github.repository == 'ohmyzsh/ohmyzsh'
	steps:
	- name: Harden the runner (Audit all outbound calls)
	uses: step-security/harden-runner@f4a75cfd619ee5ce8d5b864b0d183aff3c69b55a # v2.13.1
	with:
	egress-policy: audit

	- name: Set up git repository
	uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
	- name: Install zsh
	run: sudo apt-get update; sudo apt-get install zsh
	- name: Check syntax
	run: \|
	for file in ./oh-my-zsh.sh \
	./lib/*.zsh \
	./plugins//.plugin.zsh \
	./plugins//_ \
	./themes/*.zsh-theme; do
	zsh -n "$file" \|\| return 1
	done

Provide feedback