Browse Source

Update the path

master
Alex Feldman-Crough 1 year ago
parent
commit
d31ce6e712
  1. 7
      .jenkins

7
.jenkins

@ -1,5 +1,10 @@
pipeline {
agent any
environment {
PATH = "/opt/cabal/bin:/opt/ghc/bin:$PATH"
}
stages {
stage('build') {
steps {
@ -10,4 +15,4 @@ pipeline {
}
}
// code: language=Jenkinsfile
// code: language=Jenkinsfile
Loading…
Cancel
Save