Skip to content

Add doc versioning with mike

Lucas Felix requested to merge doc-versioning into master

Use mike (https://github.com/jimporter/mike) to deploy multiple docs version to a git branch name pages

Inside pages branch, versions are stored like this:

public/
  1.0/
  1.1/
  2.0/
  index.html
  versions.json

CI jobs push to that branch to replace previous build for a version or add new version. This is all done by mike deploy command.

At the end of the job, the content of the branch is copied into public/ folder, which is a reserved folder to deploy html to gitlab-pages.

Merge request reports