The most recent redeployment of the lean-lang.org site (pages build and deployment #62) seems to have broken all site links to GitHub Pages deployments by other leanprover organization projects.
These include (organized by the lean-lang.org site page they are present on):
As of this morning (prior the most recent deployment), the above links were working as expected on the lean-lang.org site.
It looks like these all used to be absolute links to the https://leanprover.github.io/ domain, but were rewritten within the past month to be relative paths for lean-lang.org. Each of these URL paths are still up and functional relative to the https://leanprover.github.io/ domain.
The most recent redeployment of the
lean-lang.orgsite (pages build and deployment #62) seems to have broken all site links to GitHub Pages deployments by otherleanproverorganization projects.These include (organized by the
lean-lang.orgsite page they are present on):/documentation:/download:As of this morning (prior the most recent deployment), the above links were working as expected on the
lean-lang.orgsite.It looks like these all used to be absolute links to the
https://leanprover.github.io/domain, but were rewritten within the past month to be relative paths forlean-lang.org. Each of these URL paths are still up and functional relative to thehttps://leanprover.github.io/domain.