Add F extension testing in CI

sysprog21 · Nov 11, 2023 · a6e9c45 · a6e9c45
1 parent 836de4b
commit a6e9c45
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.ci/riscv-tests.sh b/.ci/riscv-tests.sh
@@ -15,3 +15,4 @@ make arch-test RISCV_DEVICE=IM  || exit 1
 make arch-test RISCV_DEVICE=IC || exit 1
 make arch-test RISCV_DEVICE=IZifencei || exit 1
 make arch-test RISCV_DEVICE=IZicsr || exit 1
+make arch-test RISCV_DEVICE=FZicsr || exit 1