combine 'ws' and 'work space' pattern since Jenkins requires them to be non-empty#479

dirk-thomas merged 1 commit intomasterros2/ci:masterfrom

dirk-thomas/fix-warning-patternros2/ci:dirk-thomas/fix-warning-patternCopy head branch name to clipboard