diff options
-rw-r--r-- | Jenkinsfile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 2d43215fc..19cdc874a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -52,6 +52,14 @@ pipeline { } } } + stage("Artifacts") { + when { + branch 'master' + } + steps { + archiveArtifacts artifacts: 'Server/.luacheckrc' + } + } } post { always { |