mirrors
/
gnss-sdr
mirror of https://github.com/gnss-sdr/gnss-sdr
1
0
Fork 0
Code Issues Releases Wiki Activity

CI: add shellcheck work

This commit is contained in:
Carles Fernandez 2022-08-03 12:33:57 +02:00 committed by Alexander V. Joura
parent 09ed4de638
commit 32843a09f4
No known key found for this signature in database
GPG Key ID: 0A54C128A9C89772
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.github/workflows/main.yml vendored
View File

@ -182,6 +182,16 @@ jobs:
run: cd build && ctest -C Release --exclude-regex volk_gnsssdr_32fc_32f_rotator_dotprodxnpuppet_32fc
shellcheck:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- name: install dependencies
run: sudo apt install shellcheck
- name: check scripts
run: shellcheck src/utils/scripts/*
REUSE-compliance:
runs-on: ubuntu-latest
steps: