Browse Source

Attempt to allow webhook publishes

master
Alex Feldman-Crough 1 year ago
parent
commit
6da89d04b1
  1. 4
      .jenkins

4
.jenkins

@ -5,6 +5,10 @@ pipeline {
PATH = "/opt/cabal/bin:/opt/ghc/bin:$PATH"
}
triggers {
githubPush()
}
stages {
stage('prepare') {
steps {

Loading…
Cancel
Save