CI: Temporary fix to the docs build while we fix the ssh problems
Looks like the ssh key we have in the settings is not working as expected in #32074.

While we fix it (I don't have access to the settings, so can't check much), this prevents master from failing for the publishing of the dev docs to GitHub pages.