X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=.github%2Fworkflows%2Fmain.yml;h=00640dfdcca176a008af18db94d6f57575a3b596;hb=dc925368f53175636645ade2d21341ec9b2475d0;hp=10ff7f30cbaf1e25cd9408bb6bef28759d162511;hpb=746624348da990bc6e699a03cd16eae397369069;p=kconfig-hardened-check.git

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 10ff7f3..00640df 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -21,7 +21,7 @@ jobs:
     steps:
 
     - name: Set up Python ${{ matrix.python-version }}
-      uses: actions/setup-python@v1
+      uses: actions/setup-python@v4
       with:
         python-version: ${{ matrix.python-version }}
 
@@ -48,7 +48,7 @@ jobs:
         echo -e "\n>>>>> checking $COUNT configs is done <<<<<"
 
     - name: Get source code for collecting coverage
-      uses: actions/checkout@v2
+      uses: actions/checkout@v3
 
     - name: Collect coverage for the basic functionality
       run: |
@@ -88,6 +88,7 @@ jobs:
                 COUNT=$(expr $COUNT + 1)
                 echo -e "\n>>>>> checking config number $COUNT <<<<<"
                 coverage run -a --branch bin/kconfig-hardened-check -c $C
+                coverage run -a --branch bin/kconfig-hardened-check -c $C -m verbose > /dev/null
                 coverage run -a --branch bin/kconfig-hardened-check -c $C -l /proc/cmdline
                 coverage run -a --branch bin/kconfig-hardened-check -c $C -l /proc/cmdline -m verbose > /dev/null
                 coverage run -a --branch bin/kconfig-hardened-check -c $C -l /proc/cmdline -m json
@@ -131,11 +132,21 @@ jobs:
         sed '28 s/is not set/is not set yet/' test.config > error.config
         ! coverage run -a --branch bin/kconfig-hardened-check -c error.config
 
+        echo ">>>>> invalid enabled kconfig option <<<<<"
+        cp test.config error.config
+        echo 'CONFIG_FOO=is not set' >> error.config
+        ! coverage run -a --branch bin/kconfig-hardened-check -c error.config
+
         echo ">>>>> one config option multiple times <<<<<"
         cp test.config error.config
         echo 'CONFIG_BUG=y' >> error.config
         ! coverage run -a --branch bin/kconfig-hardened-check -c error.config
 
+        echo ">>>>> invalid compiler versions <<<<<"
+        cp test.config error.config
+        sed '8 s/CONFIG_CLANG_VERSION=0/CONFIG_CLANG_VERSION=120000/' test.config > error.config
+        ! coverage run -a --branch bin/kconfig-hardened-check -c error.config
+
         echo ">>>>> multi-line cmdline file <<<<<"
         echo 'hey man 1' > cmdline
         echo 'hey man 2' >> cmdline
@@ -146,9 +157,9 @@ jobs:
         coverage xml -i -o coverage.xml
 
     - name: Handle coverage
-      uses: codecov/codecov-action@v2
+      uses: codecov/codecov-action@v3
       with:
-        file: ./coverage.xml
+        files: ./coverage.xml
         flags: functional_test
         name: codecov-umbrella
         fail_ci_if_error: true