diff options
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 151d170defc..ed4bcc0dd3b 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -31,6 +31,11 @@ jobs: os: ubuntu-24.04-arm multiarch: armhf gcc_cross: arm-linux-gnueabihf + - host_target: riscv64gc-unknown-linux-gnu + os: ubuntu-latest + multiarch: riscv64 + gcc_cross: riscv64-linux-gnu + qemu: true - host_target: s390x-unknown-linux-gnu os: ubuntu-latest multiarch: s390x |