Add Jenkins build option

eclipse-platform · Sep 24, 2024 · 3898457 · 3898457
1 parent abd8472
commit 3898457
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -186,6 +186,7 @@ pipeline {
 						'cocoa.macosx.x86_64',\
 						'gtk.linux.aarch64',\
 						'gtk.linux.ppc64le',\
+						'gtk.linux.riscv64',\
 						'gtk.linux.x86_64',\
 						'win32.win32.aarch64',\
 						'win32.win32.x86_64'