Jenkinsfile: add mail pipeline
All checks were successful
dotfiles/pipeline/head This commit looks good
#2 by onjen was merged 2021-08-31 17:12:46 +02:00
#1 by onjen was merged 2021-08-26 20:53:23 +02:00