diff options
author | Tim Newsome <tim@sifive.com> | 2023-07-20 12:09:20 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-20 12:09:20 -0700 |
commit | 1a089d8409f159552a35a4ed9e5205586f076a05 (patch) | |
tree | 595a8dc1ac06383e7625f2e0ac776cd8b4171692 /src/server/gdb_server.c | |
parent | c1cce479334eebeeecef80375285a3b8fcd93161 (diff) | |
parent | deb0d918e26c24fcab10485a916c20a134f33cdf (diff) | |
download | riscv-openocd-1a089d8409f159552a35a4ed9e5205586f076a05.zip riscv-openocd-1a089d8409f159552a35a4ed9e5205586f076a05.tar.gz riscv-openocd-1a089d8409f159552a35a4ed9e5205586f076a05.tar.bz2 |
Merge pull request #888 from MarekVCodasip/ci-run-spike64-if-spike32-failed
github/ci Make Spike64-2 tests run regardless of Spike32 tests result
Diffstat (limited to 'src/server/gdb_server.c')
0 files changed, 0 insertions, 0 deletions