Skip to content
This repository was archived by the owner on Oct 7, 2021. It is now read-only.

Commit 4deedbb

Browse files
committed
Adding Jenkins pipeline build WIP
1 parent d125d09 commit 4deedbb

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

Jenkinsfile

+12
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
pipeline {
2+
agent any
3+
stages {
4+
stage('Build') {
5+
steps {
6+
echo 'Build'
7+
sh './stack start'
8+
}
9+
}
10+
11+
}
12+
}

0 commit comments

Comments
 (0)