Merge pull request #888 from MarekVCodasip/ci-run-spike64-if-spike32-failed

github/ci Make Spike64-2 tests run regardless of Spike32 tests result
This commit is contained in:
Tim Newsome 2023-07-20 12:09:20 -07:00 committed by GitHub
commit 1a089d8409
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 1 deletions

View File

@ -107,7 +107,8 @@ jobs:
git checkout "$RISCV_TESTS_REV"
git submodule update --init --recursive
- name: Run Tests
- name: Run Spike32 Tests
id: spike32-tests
run: |
cd riscv-tests/debug
./gdbserver.py targets/RISC-V/spike32.py --print-failures \
@ -115,6 +116,11 @@ jobs:
--gdb /opt/riscv/toolchain/bin/riscv-none-elf-gdb \
--sim_cmd /opt/riscv/spike/bin/spike \
--server_cmd $GITHUB_WORKSPACE/src/openocd
- name: Run Spike64-2 Tests
if: success() || steps.spike32-tests.conclusion == 'failure'
run: |
cd riscv-tests/debug
./gdbserver.py targets/RISC-V/spike64-2.py --print-failures \
--gcc /opt/riscv/toolchain/bin/riscv-none-elf-gcc \
--gdb /opt/riscv/toolchain/bin/riscv-none-elf-gdb \