Merge 84c579e into 4b6028d

Knowledge-Graph-Hub · May 22, 2020 · 1fcd618 · 1fcd618
2 parents 4b6028d + 84c579e
commit 1fcd618
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -129,7 +129,7 @@ pipeline {
                         sh 'pigz -d ../merged-kg.nt.gz'
                         sh 'export JAVA_OPTS=-Xmx128G && ./target/universal/stage/bin/blazegraph-runner load --informat=ntriples --journal=../merged-kg.jnl --use-ontology-graph=true ../merged-kg.nt'
                         sh 'pigz ../merged-kg.jnl'
-                        sh 'pigz ../merged-kg.nt.gz'
+                        sh 'pigz ../merged-kg.nt'
                 }
             }
         }