A Comprehensive Guide: How to Write a Jenkinsfile