diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2020-08-19 11:59:05 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2020-08-19 11:59:05 +0200 |
| commit | 620f398007a61eb062c20ef26ded584bb29aaffe (patch) | |
| tree | 2d462103432c93b1ae9a4bbdf72ce76eb4604254 | |
| parent | 010515fe6ac89ab5c7d0020d9dd24e48796ae253 (diff) | |
| download | jenkinsfiles-620f398007a61eb062c20ef26ded584bb29aaffe.tar.gz | |
try mirror
| -rw-r--r-- | Jenkinsfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 45f32db..6f4b83f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -24,6 +24,7 @@ pipeline { uname -a printenv | sort cat /etc/os-release + /usr/local/bin/configure-mirror ''' } } |