mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-09-12 09:07:46 -04:00
Remove spell
This commit is contained in:
parent
bd78c4310b
commit
d72498f614
1 changed files with 0 additions and 15 deletions
15
.github/workflows/ci.yml
vendored
15
.github/workflows/ci.yml
vendored
|
@ -19,21 +19,6 @@ jobs:
|
||||||
uses: actions/checkout@v2
|
uses: actions/checkout@v2
|
||||||
with:
|
with:
|
||||||
path: ./kernel
|
path: ./kernel
|
||||||
- name: Install spell
|
|
||||||
run: |
|
|
||||||
sudo apt-get install spell
|
|
||||||
sudo apt-get install util-linux
|
|
||||||
- name: Check spelling
|
|
||||||
run: |
|
|
||||||
PATH=$PATH:main/tools/spell
|
|
||||||
# Make sure that the portable directory is not included in the spellcheck.
|
|
||||||
sed -i 's/find $DIRNAME/find $DIRNAME -not -path '*portable*'/g' main/tools/spell/find-unknown-comment-words
|
|
||||||
find-unknown-comment-words --directory kernel/
|
|
||||||
if [ "$?" = "0" ]; then
|
|
||||||
exit 0
|
|
||||||
else
|
|
||||||
exit 1
|
|
||||||
fi
|
|
||||||
- name: URL Checker
|
- name: URL Checker
|
||||||
run: |
|
run: |
|
||||||
echo "Starting url checker"
|
echo "Starting url checker"
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue