Skip to content

Commit 4d07e88

Browse files
committed
CI: Add test case for disabling Zbb with JIT enabled
Add a new test case to the CI pipeline to verify JIT functionality when the Zbb extension is disabled. This ensures better coverage and prevents regressions for this specific configuration.
1 parent 924a21d commit 4d07e88

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/workflows/main.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -106,6 +106,7 @@ jobs:
106106
make ENABLE_JIT=1 clean && make ENABLE_EXT_F=0 ENABLE_JIT=1 check -j$(nproc)
107107
make ENABLE_JIT=1 clean && make ENABLE_EXT_C=0 ENABLE_JIT=1 check -j$(nproc)
108108
make ENABLE_JIT=1 clean && make ENABLE_Zba=0 ENABLE_JIT=1 check -j$(nproc)
109+
make ENABLE_JIT=1 clean && make ENABLE_Zbb=0 ENABLE_JIT=1 check -j$(nproc)
109110
- name: undefined behavior test
110111
run: |
111112
make clean && make ENABLE_UBSAN=1 check -j$(nproc)

0 commit comments

Comments
 (0)