Commit d0bdec44 authored Dec 21, 2022 by Jan Kiene

Merge branch 'fix_pages_job' into 'main'

Another round of fixing the pages job

See merge request !357