Bug: ion manual is not updated automatically after a commit

I observed that after the accepted merge request for commit 2f8884c1 which changes the ion manual, the manual online is not updated accordingly. This section of the README however states that online ion manual gets updated on every commit.

My guess is that the broken CI fails to update online manual. In my view the job pages in .gitlab-ci.yml handles the update of the online manual. This job currently fails.