I merged this PR PR#414: Update Postgres guide - fedora-docs/quick-docs - Pagure.io yesterday (at around 20:00 UTC), but it does not seem to have gone live at PostgreSQL :: Fedora Docs. Any idea what’s stuck?
Author of the updates here. Thanks for merging! I just saw that the languages other than en-US are updated - it’s just the main en-US page that’s still the old one.
- en-us: PostgreSQL :: Fedora Docs
- any other language: PostgreSQL :: Fedora Docs
2 Likes
An old build job was in a bad state and prevented any new builds to run.
Everything is now cleaned up and the docs site should be updated in a few minutes.
3 Likes
It’s still not building (or failed again). I opened infra ticket 10460 for it.
1 Like