Use mike for versioned documentation
Passed
René Schöne
created pipeline for commit
d00448b0
, finished
1 related merge request: !16 Resolve "Make documentation multi-versioned"
8 minutes 41 seconds, queued for 5 seconds