Skip to content

Commit

Permalink
Added Jenkinsfile
Browse files Browse the repository at this point in the history
  • Loading branch information
ivorsmorenburg committed Jul 31, 2021
1 parent 6226c22 commit 492ed87
Showing 1 changed file with 11 additions and 0 deletions.
11 changes: 11 additions & 0 deletions Jenkinsfile
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
pipeline {
agent any
stages {
stage('Make') {
steps {
sh 'make lint'
}
}

}
}

0 comments on commit 492ed87

Please sign in to comment.