Is it just me or the links now point to an HTML file which is not opened by the browser as such (but rather as plain text)?
I think gitlab changed how it works indeed
it's nice for the bench logs but not for the refman ;)
https://gitlab.com/gitlab-org/gitlab/-/issues/25423 (not it)
I'm also experiencing this (but though that was only me ;-) )
This is now fixed.
Will old links also be fixed? This for example (from #15846) doesn't seem to work: https://coq.gitlab.io/-/coq/-/jobs/2233817201/artifacts/_install_ci/share/doc/coq/sphinx/html/index.html
It works for me. Did you try to force a complete page reload?
It seems to be working now. Perhaps I was seeing browser caching or something.
Last updated: Feb 05 2023 at 21:03 UTC