Enable additional targets in CI

jordancarlin · Mar 7, 2025 · 60b9fae · 60b9fae
1 parent 6c4eae8
commit 60b9fae
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
@@ -28,8 +28,7 @@ jobs:
         # By default only the rv32d and rv64d emulators are build,
         # but we want to build more targets here to ensure they
         # can at least build without errors.
-        ninja -C build all riscv_sim_rv32d_rvfi generated_smt_rv64f generated_docs_rv64d
-        # These targets do not work with Sail 0.18: generated_rmem_rv32d_rmem generated_coq_rv64f_coq
+        ninja -C build all riscv_sim_rv32d_rvfi generated_smt_rv64f generated_docs_rv64d generated_rmem_rv32d_rmem generated_coq_rv64f_coq
         ctest --test-dir build --output-junit tests.xml
 
     - name: Upload test results