Skip to content

Commit b99ffbd

Browse files
eleanorLYJChinYikMing
authored andcommitted
CI: Add test case for disabling Zicsr with JIT enabled
Add a new test case to the CI pipeline to verify JIT functionality when the Zicsr extension is disabled. This ensures better coverage and prevents regressions for this specific configuration.
1 parent ad19d7c commit b99ffbd

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
@@ -118,6 +118,7 @@ jobs:
118118
make ENABLE_JIT=1 clean && make ENABLE_Zbb=0 ENABLE_JIT=1 check -j$(nproc)
119119
make ENABLE_JIT=1 clean && make ENABLE_Zbc=0 ENABLE_JIT=1 check -j$(nproc)
120120
make ENABLE_JIT=1 clean && make ENABLE_Zbs=0 ENABLE_JIT=1 check -j$(nproc)
121+
make ENABLE_JIT=1 clean && make ENABLE_Zicsr=0 ENABLE_JIT=1 check -j$(nproc)
121122
- name: undefined behavior test
122123
run: |
123124
make clean && make ENABLE_UBSAN=1 check -j$(nproc)

0 commit comments

Comments
 (0)