github-ci: spelling

pull/8828/head
Victor Julien 3 years ago
parent 9ab5480257
commit fb7ff5b61c

@ -5,7 +5,7 @@
# only ppl with push rights in the repo can be owners
# https://github.com/isaacs/github/issues/989#issuecomment-320475904
#
# additionally, it seems only the directoy syntax works.
# additionally, it seems only the directory syntax works.
# e.g. '/src/source-*.[ch] @regit' seems to have no effect.
* @victorjulien
/src/ @victorjulien

@ -128,7 +128,7 @@ jobs:
curl https://sh.rustup.rs -sSf | sh -s -- -y
echo "$HOME/.cargo/bin" >> $GITHUB_PATH
rustup target add x86_64-unknown-linux-musl
- name: Buliding static cbindgen for Linux
- name: Building static cbindgen for Linux
run: |
cargo install --target x86_64-unknown-linux-musl --debug cbindgen
cp $HOME/.cargo/bin/cbindgen .
@ -360,7 +360,7 @@ jobs:
- uses: actions/checkout@v3.3.0
# Prebuild check for duplicat SIDs
# Prebuild check for duplicate SIDs
- name: Check for duplicate SIDs
run: |
dups=$(sed -n 's/^alert.*sid:\([[:digit:]]*\);.*/\1/p' ./rules/*.rules|sort|uniq -d|tr '\n' ' ')

Loading…
Cancel
Save