CI: Add test case for disabling Zba with JIT enabled

Add a new test case to the CI pipeline to verify JIT functionality when
the Zba extension is disabled. This ensures better coverage and prevents
regressions for this specific configuration.

Author: eleanorLYJ

.github/workflows/main.yml

@@ -105,6 +105,7 @@ jobs:
             make ENABLE_JIT=1 clean && make ENABLE_EXT_A=0 ENABLE_JIT=1 check -j$(nproc)
             make ENABLE_JIT=1 clean && make ENABLE_EXT_F=0 ENABLE_JIT=1 check -j$(nproc)
             make ENABLE_JIT=1 clean && make ENABLE_EXT_C=0 ENABLE_JIT=1 check -j$(nproc)
+            make ENABLE_JIT=1 clean && make ENABLE_Zba=0 ENABLE_JIT=1 check -j$(nproc)
     - name: undefined behavior test
       run: |
             make clean && make ENABLE_UBSAN=1 check -j$(nproc)