Use (hopefully) correct packages for documentation in CI

3 jobs for master in 21 minutes and 41 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #209845
build-champlain

00:08:43

 
  Deploy
passed #209846
pages

00:12:57

failed pages:deploy

00:00:00