chore(deps): update infra.ci.jenkins.io plugins

jenkins-infra · Dec 10, 2024 · a82e33f · a82e33f
1 parent 3d027dd
commit a82e33f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugins.txt b/plugins.txt
@@ -29,7 +29,7 @@ commons-text-api:1.12.0-129.v99a_50df237f7
 config-file-provider:980.v88956a_a_5d6a_d
 configuration-as-code:1903.v004d55388f30
 copyartifact:757.v05365583a_455
-credentials:1389.vd7a_b_f5fa_50a_2
+credentials:1393.v6017143c1763
 credentials-binding:687.v619cb_15e923f
 customizable-header:141.vdd3dcb_cfcf66
 dark-theme:514.va_3ea_73d65dc1