|
|
789c677037
|
Actualiser Jenkinsfile
|
2024-09-24 17:26:38 +00:00 |
|
|
|
64ef08e530
|
Limiter la concurrence
|
2024-09-24 17:08:12 +00:00 |
|
Charles P.
|
da27ea358a
|
Corrections
|
2024-09-24 18:50:57 +02:00 |
|
|
|
bcd60a0fbd
|
Correction de format
|
2024-09-24 16:43:14 +00:00 |
|
|
|
452b88546e
|
Expliciter les étapes parallèles
|
2024-09-24 16:29:09 +00:00 |
|
Charles P.
|
5aeb60b162
|
Clean workspace after build
|
2024-09-24 17:38:41 +02:00 |
|
Charles P.
|
8e15b22912
|
Utiliser curl plutôt que wget pour uniformiser avec les autres pipelines
(et `wget` spamme les logs)
|
2024-09-24 17:28:44 +02:00 |
|
Charles P.
|
94183f771f
|
initial commit
|
2024-09-24 17:18:47 +02:00 |
|
