From aa8e5c0782ff79c2353bc6c34446eb5d9cdedf39 Mon Sep 17 00:00:00 2001 From: CatChow0 Date: Wed, 8 Oct 2025 18:41:45 +0200 Subject: [PATCH] Jenkins Test #17 --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index d83038d..00e2569 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,8 +2,8 @@ pipeline { agent { label 'windows' } parameters { - string(name: 'DISCORD_USER_ID', defaultValue: '378262266723696651', description: 'ID Discord pour recevoir les DMs') - choice(name: 'BUILD_TYPE', choices: ['Both', 'Debug', 'Release'], description: 'Type de build à utiliser') + string(name: 'DISCORD_USER_ID', defaultValue: '378262266723696651', description: 'ID Discord pour les DMs') + choice(name: 'BUILD_TYPE', choices: ['Both', 'Debug', 'Release'], description: 'Type de build à lancer') } options {