Change secret name for devdocs push

This commit is contained in:
Michael Barz authored and GitHub committed 2025-03-07 12:20:48 +01:00
1 parent b5bc6fbc03
commit d3a5b79bc0
1 file changed
+1 -1
+1 -1
View File
@@ -13,4 +13,4 @@ steps:
git_config_email: ${CI_COMMIT_AUTHOR_EMAIL}
git_config_name: ${CI_COMMIT_AUTHOR}
ssh_key:
from_secret: ssh_key_docs_pages
from_secret: ssh_key