CI: Add RV32E test to CI pipeline

Add testing for the RV32E to the CI pipeline to ensure automatic validation during continuous integration.
sysprog21 · Jan 27, 2025 · d29f229 · d29f229
1 parent f930dd0
commit d29f229
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.ci/riscv-tests.sh b/.ci/riscv-tests.sh
@@ -22,3 +22,7 @@ make ENABLE_EXT_M=1 ENABLE_EXT_A=1 ENABLE_EXT_F=1 ENABLE_EXT_C=1 \
 make arch-test RISCV_DEVICE=IMAFCZicsrZifencei $PARALLEL || exit 1
 make arch-test RISCV_DEVICE=FCZicsr $PARALLEL || exit 1
 make arch-test RISCV_DEVICE=IMZbaZbbZbcZbs $PARALLEL || exit 1
+
+make distclean
+make ENABLE_RV32E=1 ENABLE_FULL4G=1 $PARALLEL
+make arch-test RISCV_DEVICE=E $PARALLEL || exit 1