diff --git a/Jenkinsfile b/Jenkinsfile
index 88f0f1466e..459cca01cf 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -58,6 +58,7 @@ pipeline {
                     dir(env.MAXINE_HOME) {
                         sh '$MX image -build=DEBUG -platform linux-aarch64 -isa Aarch64'
                         sh '$MX image -build=DEBUG -platform linux-arm -isa ARMV7'
+                        sh '$MX image -build=DEBUG -platform linux-riscv64 -isa RISCV64'
                         sh '$MX -J-ea image'
                     }
                 }, 'test-init': {