Use mike for versioned documentation

3 jobs for 41-make-documentation-multi-versioned in 8 minutes and 41 seconds (queued for 5 seconds)
Status Name Job ID Coverage
  Build
passed build #26992

00:00:40

 
  Test
passed test #26993

00:08:00

 
  Ragdoc Build
passed ragdoc_build #26994

00:00:15