Revision history of "Jenkins Notes"

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 11:05, 4 August 2020PeterHarding talk contribs 4,536 bytes +4,536 Created page with "=Jenkins Scripts= <pre> #!/usr/bin/env groovy pipeline { agent { label 'ci' } environment { REPO_NAME = getRepoName("${JOB_NAME}") // JOB_BASE_NAME is identical to..."