diff --git a/Jenkinsfile b/Jenkinsfile
index 7127a0a..932a2ce 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,4 +1,4 @@
-def implementations = ['chibi']
+def implementations = ['chibi', 'sagittarius']
 def tests = ['primitives']
 
 pipeline {