Change runner from ubuntu-latest to ubuntu-slim#667

jwillemsen wants to merge 1 commit intohacs:mainhacs/documentation:mainfrom

jwillemsen:patch-2jwillemsen/documentation:patch-2Copy head branch name to clipboard