mirror of
https://github.com/zed-industries/zed.git
synced 2025-02-03 08:54:04 +00:00
3af09bbae1
This PR removes some zero-width whitespace characters from one of the CI job names. Release Notes: - N/A
11 lines
340 B
Bash
Executable file
11 lines
340 B
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
set -euo pipefail
|
|
|
|
# Brackets are used around characters so these don't show up in normal search.
|
|
pattern='tod[o]!|FIXM[E]'
|
|
result=$(git grep --no-color --ignore-case --line-number --extended-regexp -e $pattern -- ':(exclude).github/workflows/ci.yml' || true)
|
|
echo "${result}"
|
|
if [[ -n "${result}" ]]; then
|
|
exit 1
|
|
fi
|