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

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

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