Получить переменную окружения рабочего пространства Jenkins pipeline в формате Windows

Question

Я пытаюсь передать имя рабочей области в пакетный файл Windows, чтобы его можно было использовать для создания имен файлов et c., Что-то вроде этого.

stage('Execute Batch') {
    steps {
        script {
            bat label: '', script: "batchfile.bat ${env.WORKSPACE}\\"
        }
    }
}

проблема в том, что путь содержит косую черту вместо обратной, например C:/Jenkins/Workspace/my-pipline вместо C:\Jenkins\Workspace\my-profile.

Я не могу найти ничего в документации (или поиске в Интернете), что позволит мне использовать формат Windows переменной среды рабочей области.