From 60b9fae400bccdbc1e31007b56d89f28d3a4e2a7 Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Fri, 7 Mar 2025 01:25:06 -0800 Subject: [PATCH] Enable additional targets in CI --- .github/workflows/compile.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml index 51962ff7e..553f7507b 100644 --- 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