Add Jenkinsfile that triggers build.

metaborg · Jun 19, 2020 · df07f82 · df07f82
1 parent dc943c7
commit df07f82
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -0,0 +1,3 @@
+#!groovy
+@Library('metaborg.jenkins.pipeline') _
+spoofax2TriggerPipeline()