diff --git a/Jenkinsfile b/Jenkinsfile
index ffe0c4e36f5..ad2366ad00c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -494,7 +494,7 @@ stage('Non-default environments') {
 				helper.withMavenWorkspace {
 					mavenNonDefaultBuild buildEnv, """ \
 							clean install \
-							-pl org.hibernate.search:hibernate-search-integrationtest-orm,org.hibernate.search:hibernate-search-integrationtest-showcase-library \
+							-pl org.hibernate.search:hibernate-search-integrationtest-orm,org.hibernate.search:hibernate-search-integrationtest-mapper-orm-envers,org.hibernate.search:hibernate-search-integrationtest-showcase-library \
 							-P$buildEnv.mavenProfile \
 					"""
 				}