diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2020-08-18 21:34:50 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2020-08-18 21:34:50 +0200 |
| commit | e7e093c1677e4debc4b607019609d5d7e3ca4fcc (patch) | |
| tree | 1f924f10719b108c502ee0cd436efc05445d3f1c | |
| parent | 7419b2d7f7a9745cd6f028f0fa43b7b17fcac9ca (diff) | |
| download | jenkinsfiles-e7e093c1677e4debc4b607019609d5d7e3ca4fcc.tar.gz | |
sleep a bit
| -rw-r--r-- | Jenkinsfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 62941cc..0b7098d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -17,6 +17,7 @@ pipeline { set -x cat /etc/os-release uname -a + sleep 60 ''' } } |