X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=.github%2Fworkflows%2Fmain.yml;fp=.github%2Fworkflows%2Fmain.yml;h=d060ca73b80b4ddbeadf5ded6f593877749f68fd;hb=f2e93374d8c2f6145dcc4243ed5578e92ca83ddc;hp=2d972babb7c89f969936c06e1c722713c419cdcd;hpb=ed10b5afc2b65437a635a6db224f2c3d1a837479;p=kconfig-hardened-check.git

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 2d972ba..d060ca7 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -51,6 +51,7 @@ jobs:
     - name: Collect coverage
       run: |
         coverage run -a --branch bin/kconfig-hardened-check
+        coverage run -a --branch bin/kconfig-hardened-check -p X86_64
         coverage xml -i -o coverage.xml
 
     - name: Handle coverage