# Jenkinsfile for deployment

This Jenkisfile is used for deployment in the Jenkins pipeline.