The manual release of 0.12.0 is done. Hopefully the issue is now resolved and in the future the CI can do it automatically.