Skip to content

Commit

Permalink
chore: add a lint for shell script (#1968)
Browse files Browse the repository at this point in the history
* chore: add a lint for shell script

* trigger ci

* change ci

* only failed with error level

* not exclude sc2317

* revert change in shell

* change a comment to trigger ci

* add a shell lint

* Revert "add a shell lint"

This reverts commit e2fbf2e.
  • Loading branch information
JoeWang1127 committed Sep 8, 2023
1 parent b94463a commit 41f6ef6
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 1 deletion.
10 changes: 10 additions & 0 deletions .github/workflows/verify_library_generation.yaml
Expand Up @@ -38,3 +38,13 @@ jobs:
run: |
set -x
library_generation/test/generate_library_unit_tests.sh
lint:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
- name: Run ShellCheck
uses: ludeeus/action-shellcheck@2.0.0
with:
scandir: 'library_generation'
format: tty
severity: error
2 changes: 1 addition & 1 deletion library_generation/test/generate_library_unit_tests.sh
Expand Up @@ -2,7 +2,7 @@

set -xeo pipefail

# Variables used to generate final result
# Variables used to generate final result.
total_num=0
succeed_num=0
failed_num=0
Expand Down

0 comments on commit 41f6ef6

Please sign in to comment.