migrate to new jenkins
authorErik Brakkee <erik@brakkee.org>
Sat, 24 Sep 2022 08:38:50 +0000 (10:38 +0200)
committerErik Brakkee <erik@brakkee.org>
Sat, 24 Sep 2022 08:38:50 +0000 (10:38 +0200)
commitcb3659b3b83e66fbb2851bb52392bdcd926528d2
tree2ea375de81f1d5055ebeea86018994c2b539c25a
parent9fcdbb28f7e1f5e2e2d0e0729271cb1305df5928
migrate to new jenkins
Jenkinsfile [new file with mode: 0644]