|Migrated||gitlab-migration||T1024 Proper continuous integration setup|
|Migrated||gitlab-migration||T1249 create a jenkins job to build and publish the sphinx documentation|
The jenkins job that builds the doc seems to run OK and the publish by ssh post-action seems to work also, so we could consider this task as done, however this adds a small regression due to the way this jenkins plugin works (ie. 'rm *' before starting to scp files), there is a 5 to 10s period, when the published content is partial and may result in 404.
I suggest to call it good as is, and set a proper solution up if and only if it really obviously cause problems...
That's fine for me. Can you maybe file a low/wishlist priority bug report to keep track of this?
(The right solution is probably to have a symlink pointing to the dir of the published doc, build the updated doc in a new tempdir, and atomically switch the link at the end of the build. But I agree the lack of this shouldn't be considered a blocker for T1249.)