diff options
author | 2021-06-13 10:01:46 +0000 | |
---|---|---|
committer | 2021-06-13 10:01:46 +0000 | |
commit | fa58f229c41de75e3fd1b44a9a383c5ed539d456 (patch) | |
tree | 02bdc257b5d225036974738bf90666c6c8f69a4b /jjb/cirv/cirv-rtd-jobs.yaml | |
parent | cb4f5e02211d89de5cf78353aaea0b68d06f5765 (diff) | |
parent | 6d565a30a8072f811356998da2163ecb089e7545 (diff) |
Merge "Clean also any Jenkins or Gitlab cluster"
Diffstat (limited to 'jjb/cirv/cirv-rtd-jobs.yaml')
0 files changed, 0 insertions, 0 deletions