diff options
| author | Dimitris Papagiannis <[email protected]> | 2022-12-05 01:19:27 +0100 |
|---|---|---|
| committer | Dimitris Papagiannis <[email protected]> | 2022-12-05 01:19:27 +0100 |
| commit | b22122ab03365b0570a034b95876df4f83295c78 (patch) | |
| tree | aba4eb64ac4ecb9b7a981e36a628806dadc431bc /Jenkinsfile | |
| parent | 0d8af96f37753f1624fec5c8e16fa9d4496929b2 (diff) | |
Added regex for non-linux platforms
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions