diff options
| -rw-r--r-- | nightly.jenkinsfile (renamed from Jenkinsfile.nightly) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Jenkinsfile.nightly b/nightly.jenkinsfile index a8b5fc7..a8b5fc7 100644 --- a/Jenkinsfile.nightly +++ b/nightly.jenkinsfile |