We develop our Jenkins pipeline using declarative Jenkinsfile scripts. For example, if we want to set a log rotate policy on a pipeline, we would write