See also

• The full Changelog.

Summary

• No code changes. Just an update to the CI to fix documentation deployment.