chore: add a lint for shell script (#1968)

* 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.

Author: JoeWang1127

.github/workflows/verify_library_generation.yaml

@@ -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/[email protected]
+      with:
+        scandir: 'library_generation'
+        format: tty
+        severity: error

library_generation/test/generate_library_unit_tests.sh

@@ -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