Update .github/workflows/compile.yml

Co-authored-by: Alexander Richardson <[email protected]> Signed-off-by: Tim Hutt <[email protected]>
riscv · Jan 20, 2025 · a828fb8 · a828fb8
1 parent 611b2b2
commit a828fb8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
@@ -28,7 +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_emulator_rv32d c_emulator_rv64d c_emulator_rv32d_rvfi generated_smt_rv64f
+        ninja all c_emulator_rv32d_rvfi generated_smt_rv64f
         # These are broken: generated_rmem_rv32d_rmem generated_coq_rv64f_coq
         ctest --output-junit text.xml
     - name: Upload test results